A Timed Failures Model for Extended Communicating Processes. - Rob Gerth; Andy Boucher 001 (ICALP, 1987)

Parallel Machines. - Andrew Boucher 001 (Minds Mach., 1997)