Corrigendum to “a tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time”

Authors:
Marco Bernardo;Roberto Gorrieri
Affiliations:
Univ. di Torino, Turin, Italy;Univ. di Bologna, Bologna, Italy
Venue:
Theoretical Computer Science
Year:
2001

Citing 0
Cited 4

A framework for performance evaluation and functional verification in stochastic process algebras

Proceedings of the 2008 ACM symposium on Applied computing
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular

Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Markov chains: and the quest for quantified quality

Interactive Markov chains: and the quest for quantified quality
The how and why of interactive Markov chains

FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects

Quantified Score

Hi-index	5.23

Visualization

Abstract