Testing semantics: Connecting processes and process logics

Podobne zapisy

• Testing semantics: Connecting processes and process logics
  od: Pavlovic, D, i wsp.
  Wydane: (2006)
• Labelled Markov Processes as Generalised Stochastic Relations
  od: Mislove, M, i wsp.
  Wydane: (2007)
• Labelled Markov Processes as Generalised Stochastic Relations
  od: Mislove, M, i wsp.
  Wydane: (2007)
• Duality for Labelled Markov Processes
  od: Mislove, M, i wsp.
  Wydane: (2004)
• Observational Logic and Process Semantics (Abstract)
  od: Abramsky, S
  Wydane: (1989)