Specification and Proof in Real−time CSP

Схожі ресурси

• Factorizing Proofs in Timed CSP
  за авторством: Davies, J, та інші
  Опубліковано: (1989)
• Factorising Proofs in Timed CSP
  за авторством: Davies, J, та інші
  Опубліковано: (1989)
• Real−time CSP
  за авторством: Davies, J, та інші
  Опубліковано: (1994)
• A Brief History of Timed CSP
  за авторством: Davies, J, та інші
  Опубліковано: (1995)
• Communication and correctness in Timed CSP
  за авторством: Roscoe, A, та інші
  Опубліковано: (1990)