Introduction to concurrency theory. Transition systems and CCS
DOI10.1007/978-3-319-21491-7zbMath1333.68001OpenAlexW2483867491MaRDI QIDQ897107
Cristian Versari, Roberto Gorrieri
Publication date: 16 December 2015
Published in: Texts in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-21491-7
congruencelabelled transition systemsweak equivalenceprocess calculusbehavioral equivalencescalculus of communicating systemsstep semanticsbasic process algebrastrong prefixing
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (16)
Uses Software
This page was built for publication: Introduction to concurrency theory. Transition systems and CCS