Timed CSP: theory and practice

Lignende værker

• Timed CSP: Theory and Practice
  af: Schneider, S, et al.
  Udgivet: (1991)
• Communication and correctness in Timed CSP
  af: Roscoe, A, et al.
  Udgivet: (1990)
• A temporal logic for Timed CSP
  af: Jackson, D, et al.
  Udgivet: (1990)
• CSP and timewise refinement
  af: Roscoe, A, et al.
  Udgivet: (1991)
• The timed failures−stability model for Timed CSP
  af: Roscoe, A, et al.
  Udgivet: (1996)