Duality for Labelled Markov Processes

Documenti analoghi

• Labelled Markov Processes as Generalised Stochastic Relations
  di: Mislove, M, et al.
  Pubblicazione: (2007)
• Labelled Markov Processes as Generalised Stochastic Relations
  di: Mislove, M, et al.
  Pubblicazione: (2007)
• Testing semantics: Connecting processes and process logics
  di: Pavlovic, D, et al.
  Pubblicazione: (2006)
• Testing semantics: Connecting processes and process logics
  di: Pavlovic, D, et al.
  Pubblicazione: (2006)
• INFINITE ANTICHAINS AND DUALITY THEORIES
  di: Lawson, J, et al.
  Pubblicazione: (1988)