Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP
- 31 December 1987
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 49 (2-3) , 145-169
- https://doi.org/10.1016/0304-3975(87)90005-3
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- How processes learnDistributed Computing, 1986
- Global and logical time in distributed algorithmsInformation Processing Letters, 1985
- Distributed snapshotsACM Transactions on Computer Systems, 1985
- Derivation of a termination detection algorithm for distributed computationsInformation Processing Letters, 1983
- Achieving Distributed Termination without FreezingIEEE Transactions on Software Engineering, 1982
- Termination Detection of Diffusing Computations in Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1982
- Termination detection for diffusing computationsInformation Processing Letters, 1980
- Distributed TerminationACM Transactions on Programming Languages and Systems, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978