Duality for Labelled Markov Processes

Antzeko izenburuak

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