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)