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)