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)