A Concurrent Pattern Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Logical Methods in Computer Science Year : 2014

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.
Fichier principal
Vignette du fichier
journal-cpc.pdf (421.1 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00987578 , version 1 (07-05-2014)
hal-00987578 , version 2 (20-06-2014)

Identifiers

Cite

Thomas Given-Wilson, Daniele Gorla, Barry Jay. A Concurrent Pattern Calculus. Logical Methods in Computer Science, 2014, 10 (3), pp.1-46. ⟨10.2168/LMCS-10(3:10)2014⟩. ⟨hal-00987578v2⟩
289 View
381 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More