Probabilities and Priorities in Timed CSP

Những quyển sách tương tự

• The expressiveness of CSP with priority
  Bằng: Roscoe, A
  Được phát hành: (2015)
• Probabilistic and Prioritized Models of Timed CSP
  Bằng: Lowe, G
  Được phát hành: (1995)
• Model checking Timed CSP
  Bằng: Armstrong, P, et al.
  Được phát hành: (2012)
• On the expressive power of CSP extended by priority
  Bằng: Roscoe, A
  Được phát hành: (2014)
• Extending CSP with tests for availability
  Bằng: Lowe, G
  Được phát hành: (2009)