Testing semantics: Connecting processes and process logics

Benzer Materyaller

• Testing semantics: Connecting processes and process logics
  Yazar:: Pavlovic, D, ve diğerleri
  Baskı/Yayın Bilgisi: (2006)
• Labelled Markov Processes as Generalised Stochastic Relations
  Yazar:: Mislove, M, ve diğerleri
  Baskı/Yayın Bilgisi: (2007)
• Labelled Markov Processes as Generalised Stochastic Relations
  Yazar:: Mislove, M, ve diğerleri
  Baskı/Yayın Bilgisi: (2007)
• Duality for Labelled Markov Processes
  Yazar:: Mislove, M, ve diğerleri
  Baskı/Yayın Bilgisi: (2004)
• Observational Logic and Process Semantics (Abstract)
  Yazar:: Abramsky, S
  Baskı/Yayın Bilgisi: (1989)