zbMATH — the first resource for mathematics

Open multiparty interaction. (English) Zbl 1394.68244
MartĂ­-Oliet, Narciso (ed.) et al., Recent trends in algebraic development techniques. 21st international workshop, WADT 2012, Salamanca, Spain, June 7–10, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-37634-4/pbk). Lecture Notes in Computer Science 7841, 1-23 (2013).
Summary: We present the link-calculus, a process calculus based on interactions that are multiparty, i.e., that may involve more than two processes and are open, i.e., the number of involved processes is not fixed or known a priori. Communications are seen as chains of links, that record the source and the target ends of each hop of interactions. The semantics of our calculus mildly extends the one of CCS in the version without message passing, and the one of \(\pi \)-calculus in the full version. Cardelli and Gordon’s mobile ambients, whose movement interactions we show to be inherently open multi-party, is encoded in our calculus in a natural way, thus providing an illustrative example of its expressiveness.
For the entire collection see [Zbl 1271.68051].

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Full Text: DOI