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)