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)