Detection of unstable predicates in distributed programs
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Breakpoints and halting in distributed programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Concurrent regular expressions and their relationship to Petri netsTheoretical Computer Science, 1992
- Consistent detection of global predicatesPublished by Association for Computing Machinery (ACM) ,1991
- Partial orders for parallel debuggingPublished by Association for Computing Machinery (ACM) ,1988
- Repeated snapshots in distributed systems with synchronous communications and their implementation in CSPTheoretical Computer Science, 1987
- Distributed snapshotsACM Transactions on Computer Systems, 1985
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978