Multiparty Sessions based on Proof Nets
Logic in Computer Science
2014-06-16 v1 Programming Languages
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.
Cite
@article{arxiv.1406.3478,
title = {Multiparty Sessions based on Proof Nets},
author = {Dimitris Mostrous},
journal= {arXiv preprint arXiv:1406.3478},
year = {2014}
}
Comments
In Proceedings PLACES 2014, arXiv:1406.3313