A temporal logic for Timed CSP

Benzer Materyaller

• Timed CSP: Theory and Practice
  Yazar:: Schneider, S, ve diğerleri
  Baskı/Yayın Bilgisi: (1991)
• Communication and correctness in Timed CSP
  Yazar:: Roscoe, A, ve diğerleri
  Baskı/Yayın Bilgisi: (1990)
• Timed CSP: theory and practice
  Yazar:: Roscoe, A, ve diğerleri
  Baskı/Yayın Bilgisi: (1992)
• Real−time CSP
  Yazar:: Davies, J, ve diğerleri
  Baskı/Yayın Bilgisi: (1994)
• Factorizing Proofs in Timed CSP
  Yazar:: Davies, J, ve diğerleri
  Baskı/Yayın Bilgisi: (1989)