A Concurrent Pattern Calculus

DOI10.2168/LMCS-10(3:10)2014zbMath1338.68202arXiv1405.1546MaRDI QIDQ2878758

Thomas Given-Wilson, Daniele Gorla, C. Barry Jay

Publication date: 5 September 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.1546

zbMATH Keywords

pattern matchingprocess calculiencodingsbehavioural theory

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

On the Expressiveness of Symmetric Communication ⋮ Expressiveness of concurrent intensionality ⋮ Replacement freeness: a criterion for separating process calculi

This page was built for publication: A Concurrent Pattern Calculus