Probabilities and Priorities in Timed CSP

相似书籍

• The expressiveness of CSP with priority
  由: Roscoe, A
  出版: (2015)
• Probabilistic and Prioritized Models of Timed CSP
  由: Lowe, G
  出版: (1995)
• Model checking Timed CSP
  由: Armstrong, P, et al.
  出版: (2012)
• On the expressive power of CSP extended by priority
  由: Roscoe, A
  出版: (2014)
• Extending CSP with tests for availability
  由: Lowe, G
  出版: (2009)