A temporal logic for Timed CSP

類似資料

• Timed CSP: Theory and Practice
  著者:: Schneider, S, 等
  出版事項: (1991)
• Communication and correctness in Timed CSP
  著者:: Roscoe, A, 等
  出版事項: (1990)
• Timed CSP: theory and practice
  著者:: Roscoe, A, 等
  出版事項: (1992)
• Real−time CSP
  著者:: Davies, J, 等
  出版事項: (1994)
• Factorizing Proofs in Timed CSP
  著者:: Davies, J, 等
  出版事項: (1989)