Skip to Main content Skip to Navigation
Journal articles

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
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.
Complete list of metadata

Cited literature [44 references]  Display  Hide  Download
Contributor : Catuscia Palamidessi Connect in order to contact the contributor
Submitted on : Friday, June 20, 2014 - 10:15:43 AM
Last modification on : Tuesday, January 25, 2022 - 11:44:06 AM
Long-term archiving on: : Saturday, September 20, 2014 - 10:46:00 AM


Files produced by the author(s)




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⟩



Record views


Files downloads