Paper Info
Title
Multiparty Sessions Based On Proof Nets
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.
Year
DOI
Venue
2014
10.4204/EPTCS.155.1
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Field
DocType
Issue
Synchronization,Theoretical computer science,Linear logic,Conservative extension,Mathematics
Journal
155
ISSN
Citations 
PageRank 
2075-2180
1
0.35
References 
Authors
10
1
Name
Order
Citations
PageRank
Dimitris Mostrous11306.37