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

Luc Bougé. Repeated Synchronous Snapshots and Their Implementation in CSP (Extended Abstract). In Wilfried Brauer, editor, Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings. Volume 194 of Lecture Notes in Computer Science, pages 63-70, Springer, 1985.

Abstract

Abstract is missing.