Symbolic Semantics for Multiparty Interactions in the Link-Calculus

SOFSEM, pp. 62-75, 2017.

Cited by: 1|Bibtex|Views3|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments