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.
Type de document :
Communication dans un congrès
Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.1-23, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_1〉
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01485975
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:33:35
Dernière modification le : jeudi 9 mars 2017 - 15:36:07
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:20:13

Fichier

978-3-642-37635-1_1_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Chiara Bodei, Linda Brodo, Roberto Bruni. Open Multiparty Interaction. Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.1-23, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_1〉. 〈hal-01485975〉

Partager

Métriques

Consultations de la notice

50

Téléchargements de fichiers

19