A Concurrent Pattern Calculus

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...

Full description

Saved in:

Bibliographic Details
Published in:	Logical methods in computer science Vol. 10, Issue 3; no. 3; pp. 1 - 46
Main Authors:	Given-Wilson, Thomas, Gorla, Daniele, Jay, Barry
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science Association 01.01.2014 Logical Methods in Computer Science e.V
Subjects:	Computer Science computer science - formal languages and automata theory computer science - logic in computer science Formal Languages and Automata Theory Logic in Computer Science Pattern unification Trade Expressiveness Pattern Matching Concurrency Process Calculi
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	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.
ISSN:	1860-5974 1860-5974
DOI:	10.2168/LMCS-10(3:10)2014