Skip to Main content Skip to Navigation
Conference papers

Open Multiparty Interaction

Abstract : 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 π-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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-01485975
Contributor : Hal Ifip <>
Submitted on : Thursday, March 9, 2017 - 3:33:35 PM
Last modification on : Tuesday, February 26, 2019 - 10:55:14 AM
Long-term archiving on: : Saturday, June 10, 2017 - 2:20:13 PM

File

978-3-642-37635-1_1_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Chiara Bodei, Linda Brodo, Roberto Bruni. Open Multiparty Interaction. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.1-23, ⟨10.1007/978-3-642-37635-1_1⟩. ⟨hal-01485975⟩

Share

Metrics

Record views

160

Files downloads

349