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)