Multiparty Sessions based on Proof Nets
classification
💻 cs.LO
cs.PL
keywords
logicmultipartynetsproofsessionsbehaviourscalculusconservative
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.