CSP: The Best Concurrent−System Description Language in the World−Probably!

Documenti analoghi

• Probabilities and Priorities in Timed CSP
  di: Lowe, G
  Pubblicazione: (1993)
• Taking quotients in CSP
  di: Goldsmith, M
  Pubblicazione: (2006)
• Critical systems validation and verification with CSP and FDR
  di: Goldsmith, M, et al.
  Pubblicazione: (1999)
• The Meaning and Implementation of SKIP in CSP
  di: Gibson−Robinson, T, et al.
  Pubblicazione: (2013)
• Classifying unbounded nondeterminism in CSP
  di: Barrett, G, et al.
  Pubblicazione: (1991)