Repeated Synchronous Snapshots and Their Implementation in CSP (Extended Abstract).

Luc Bougé Repeated Synchronous Snapshots and Their Implementation in CSP (Extended Abstract). 63-70 1985 conf/icalp/1985 ICALP db/conf/icalp/icalp85.html#Bouge85 http://dx.doi.org/10.1007/BFb0015731