Skip to Main content Skip to Navigation
Conference papers

Pattern Matching and Bisimulation

Abstract : Concurrent Pattern Calculus (CPC) is a minimal calculus whose communication mechanism is based on a powerful form of symmetric pattern unification. However, the richness of patterns and their unification entails some flexibility in the challenge-reply game that underpins bisimulation. This leads to an ordering upon patterns that is used to define the valid replies to a given challenge. Such a theory can be smoothly adapted to accomplish other, less symmetric, forms of pattern matching (e.g. those of Linda, polyadic π-calculus, and π-calculus with polyadic synchronization) without compromising the coincidence of the two equivalences.
Complete list of metadata

Cited literature [30 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, March 9, 2017 - 3:53:11 PM
Last modification on : Wednesday, November 3, 2021 - 2:18:09 PM
Long-term archiving on: : Saturday, June 10, 2017 - 2:31:02 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Thomas Given-Wilson, Daniele Gorla. Pattern Matching and Bisimulation. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.60-74, ⟨10.1007/978-3-642-38493-6_5⟩. ⟨hal-01486035⟩



Record views


Files downloads