Multiparty Sessions based on Proof Nets
arXiv:1406.3478 · doi:10.4204/EPTCS.155.1
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.
In Proceedings PLACES 2014, arXiv:1406.3313