Testing semantics: Connecting processes and process logics

Míreanna comhchosúla

• Testing semantics: Connecting processes and process logics
  de réir: Pavlovic, D, et al.
  Foilsithe / Cruthaithe: (2006)
• 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)
• Duality for Labelled Markov Processes
  de réir: Mislove, M, et al.
  Foilsithe / Cruthaithe: (2004)
• Observational Logic and Process Semantics (Abstract)
  de réir: Abramsky, S
  Foilsithe / Cruthaithe: (1989)