A temporal logic for Timed CSP

Míreanna comhchosúla

• Timed CSP: Theory and Practice
  de réir: Schneider, S, et al.
  Foilsithe / Cruthaithe: (1991)
• Communication and correctness in Timed CSP
  de réir: Roscoe, A, et al.
  Foilsithe / Cruthaithe: (1990)
• Timed CSP: theory and practice
  de réir: Roscoe, A, et al.
  Foilsithe / Cruthaithe: (1992)
• Real−time CSP
  de réir: Davies, J, et al.
  Foilsithe / Cruthaithe: (1994)
• Factorizing Proofs in Timed CSP
  de réir: Davies, J, et al.
  Foilsithe / Cruthaithe: (1989)