Duality for Labelled Markov Processes

Míreanna comhchosúla

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