Introduction to concurrency theory. Transition systems and CCS

From MaRDI portal
Publication:897107

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




Related Items (16)


Uses Software






This page was built for publication: Introduction to concurrency theory. Transition systems and CCS