28
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      A Concurrent Pattern Calculus

      Preprint
      , ,

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Author and article information

          Journal
          2014-05-07
          2014-08-20
          Article
          10.2168/LMCS-10(3:10)2014
          1405.1546
          69307297-556e-43c5-8651-d9bae834e40b

          http://arxiv.org/licenses/nonexclusive-distrib/1.0/

          History
          Custom metadata
          Logical Methods in Computer Science, Volume 10, Issue 3 (August 23, 2014) lmcs:774
          Logical Methods in Computer Science (2014)
          cs.LO cs.FL
          LMCS

          Theoretical computer science
          Theoretical computer science

          Comments

          Comment on this article