Testing semantics: Connecting processes and process logics

Podobné jednotky

• Testing semantics: Connecting processes and process logics
  Autor: Pavlovic, D, a další
  Vydáno: (2006)
• Labelled Markov Processes as Generalised Stochastic Relations
  Autor: Mislove, M, a další
  Vydáno: (2007)
• Labelled Markov Processes as Generalised Stochastic Relations
  Autor: Mislove, M, a další
  Vydáno: (2007)
• Duality for Labelled Markov Processes
  Autor: Mislove, M, a další
  Vydáno: (2004)
• Observational Logic and Process Semantics (Abstract)
  Autor: Abramsky, S
  Vydáno: (1989)