Symbolic Semantics for Multiparty Interactions in the Link-Calculus
SOFSEM, pp. 62-75, 2017.
The link-calculus is a model for concurrency that extends the point-to-point communication discipline of Milner’s CCS with multiparty interactions. Links are used to build chains describing how information flows among the different agents participating in a multiparty interaction. The inherent non-determinism in deciding both, the number ...More
Full Text (Upload PDF)
PPT (Upload PPT)