Consistent detection of global predicates
- 1 December 1991
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 167-174
- https://doi.org/10.1145/122759.122774
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Distributed snapshotsACM Transactions on Computer Systems, 1985
- Anomaly Detection in Concurrent Software by Static Data Flow AnalysisIEEE Transactions on Software Engineering, 1980
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978