Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time

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)

zbMATH Keywords

stochastically timed process algebra

Mathematics Subject Classification ID

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

Related Items

Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular

Cites Work

• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Bisimulation through probabilistic testing
• Reactive, generative, and stratified models of probabilistic processes
• Unnamed Item
• Unnamed Item