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)