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)