Specification and Proof in Real−time CSP

Benzer Materyaller

• Factorizing Proofs in Timed CSP
  Yazar:: Davies, J, ve diğerleri
  Baskı/Yayın Bilgisi: (1989)
• Factorising Proofs in Timed CSP
  Yazar:: Davies, J, ve diğerleri
  Baskı/Yayın Bilgisi: (1989)
• Real−time CSP
  Yazar:: Davies, J, ve diğerleri
  Baskı/Yayın Bilgisi: (1994)
• A Brief History of Timed CSP
  Yazar:: Davies, J, ve diğerleri
  Baskı/Yayın Bilgisi: (1995)
• Communication and correctness in Timed CSP
  Yazar:: Roscoe, A, ve diğerleri
  Baskı/Yayın Bilgisi: (1990)