A general approach to trace-checking in distributed computing systems
- 17 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Causal distributed breakpointsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Specification and Verification of Behavioral Patterns in Distributed ComputationsPublished by Springer Nature ,1995
- Detection of unstable predicates in distributed programsPublished by Springer Nature ,1992
- Consistent detection of global predicatesPublished by Association for Computing Machinery (ACM) ,1991
- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trendsLecture Notes in Computer Science, 1986
- 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