A Concurrent Pattern Calculus

Thomas Given-Wilson 1 Daniele Gorla 2 Barry Jay 3, 4
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : Concurrent pattern calculus (CPC) drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising from pattern matching to pattern unification, interaction becomes symmetrical, with information flowing in both directions. CPC provides a natural language to express trade where information exchange is pivotal to interaction. The unification allows some patterns to be more discriminating than others; hence, the behavioural theory must take this aspect into account, so that bisimulation becomes subject to compatibility of patterns. Many popular process calculi can be encoded in CPC; this allows for a gain in expressiveness, formalised through encodings.
Type de document :
Article dans une revue
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (3), pp.1-46. 〈10.2168/LMCS-10(3:10)2014〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00987578
Contributeur : Catuscia Palamidessi <>
Soumis le : vendredi 20 juin 2014 - 10:15:43
Dernière modification le : jeudi 9 février 2017 - 15:10:30
Document(s) archivé(s) le : samedi 20 septembre 2014 - 10:46:00

Fichiers

journal-cpc.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Thomas Given-Wilson, Daniele Gorla, Barry Jay. A Concurrent Pattern Calculus. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (3), pp.1-46. 〈10.2168/LMCS-10(3:10)2014〉. 〈hal-00987578v2〉

Partager

Métriques

Consultations de
la notice

327

Téléchargements du document

291