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)