Thomas Given-Wilson ; Daniele Gorla ; Barry Jay - A Concurrent Pattern Calculus

lmcs:774 - Logical Methods in Computer Science, August 23, 2014, Volume 10, Issue 3 - https://doi.org/10.2168/LMCS-10(3:10)2014
A Concurrent Pattern CalculusArticle

Authors: Thomas Given-Wilson ORCID; Daniele Gorla ORCID; Barry Jay

    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.


    Volume: Volume 10, Issue 3
    Published on: August 23, 2014
    Imported on: July 5, 2013
    Keywords: Computer Science - Logic in Computer Science,Computer Science - Formal Languages and Automata Theory

    7 Documents citing this article

    Consultation statistics

    This page has been seen 1260 times.
    This article's PDF has been downloaded 347 times.