A Concurrent Pattern Calculus

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 : mercredi 14 novembre 2018 - 16:10:03
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

420

Téléchargements de fichiers

318