Multiparty Sessions based on Proof Nets

2014/06/13 by Dimitris Mostrous
Computer Science · #cs.LO #cs.PL

paper · pdf · doi:10.4204/eptcs.155.1

published as EPTCS 155, 2014, pp. 1-8 · In Proceedings PLACES 2014, arXiv:1406.3313

arxiv created 2014/06/13 · arxiv updated 2014/06/16

Abstract

We interpret Linear Logic Proof Nets in a term language based on Solos calculus. The system includes a synchronisation mechanism, obtained by a conservative extension of the logic, that enables to define non-deterministic behaviours and multiparty sessions.

Citations

• Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software