Login / Signup

Corrigendum to "A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time" - [TCS 202 (1998) 1-54].

Marco BernardoRoberto Gorrieri
Published in: Theor. Comput. Sci. (2001)
Keyphrases
  • concurrent processes
  • theoretical framework
  • theoretical basis
  • probability theory
  • formal theory
  • website
  • probability distribution
  • conditional probabilities
  • general theory
  • high priority