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)