Reachability analysis on distributed executions
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 629-643
- https://doi.org/10.1007/3-540-56610-4_94
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Echidna, an estelle compiler to prototype protocols on distributed computersConcurrency: Practice and Experience, 1992
- Interval approximations of message causality in distributed executionsPublished by Springer Nature ,1992
- Consistent detection of global predicatesPublished by Association for Computing Machinery (ACM) ,1991
- Efficient execution replay technique for distributed memory architecturesPublished by Springer Nature ,1991
- Combinatorics and geometry of consistent cuts : Application to concurrency theoryPublished by Springer Nature ,1989
- Debugging Parallel Programs with Instant ReplayIEEE Transactions on Computers, 1987
- Distributed snapshotsACM Transactions on Computer Systems, 1985
- Linear Extensions of Ordered SetsPublished by Springer Nature ,1982
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- An extended arithmeticDuke Mathematical Journal, 1937