Testing semantics: Connecting processes and process logics

Παρόμοια τεκμήρια

• Testing semantics: Connecting processes and process logics
  ανά: Pavlovic, D, κ.ά.
  Έκδοση: (2006)
• Labelled Markov Processes as Generalised Stochastic Relations
  ανά: Mislove, M, κ.ά.
  Έκδοση: (2007)
• Labelled Markov Processes as Generalised Stochastic Relations
  ανά: Mislove, M, κ.ά.
  Έκδοση: (2007)
• Duality for Labelled Markov Processes
  ανά: Mislove, M, κ.ά.
  Έκδοση: (2004)
• Observational Logic and Process Semantics (Abstract)
  ανά: Abramsky, S
  Έκδοση: (1989)