Turing Meets Milner

DOI10.1007/978-3-642-32940-1_1zbMath1364.68191OpenAlexW2113404752MaRDI QIDQ2914361

Paul van Tilburg, Bas Luttik, Jos C. M. Baeten

Publication date: 25 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32940-1_1

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: Turing Meets Milner