An alternative order for the failures model

Similar Items

• An improved failures model for communicating processes
  by: Roscoe, A, et al.
  Published: (1985)
• The timed failures - stability model for CSP
  by: Reed, G, et al.
  Published: (1999)
• The successes and failures of behavioural models
  by: Roscoe, A, et al.
  Published: (2000)
• The timed failures−stability model for Timed CSP
  by: Roscoe, A, et al.
  Published: (1996)
• Specifying problem one using the failures model for CSP and deriving CSP processes which meet this specification
  by: Roscoe, A
  Published: (1985)