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

Luc Boug

Browse the full ICALP paper archive.