Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
From MaRDI portal
Publication:5941736
DOI10.1016/S0304-3975(00)00256-5zbMath0973.68179MaRDI QIDQ5941736
Marco Bernardo, Roberto Gorrieri
Publication date: 23 August 2001
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Cites Work