Characterizing and detecting the set of global states seen by all observers of a distributed computation
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Testing and debugging distributed programs using global predicatesIEEE Transactions on Software Engineering, 1995
- Efficient detection of a class of stable propertiesDistributed Computing, 1994
- Detecting causal relationships in distributed computations: In search of the holy grailDistributed Computing, 1994
- Debugging tool for distributed Estelle programsComputer Communications, 1993
- Detecting relational global predicates in distributed systemsPublished by Association for Computing Machinery (ACM) ,1993
- Some optimal algorithms for decomposed partially ordered setsInformation Processing Letters, 1992
- Consistent detection of global predicatesPublished by Association for Computing Machinery (ACM) ,1991
- Adding Time to Synchronous Process CommunicationsIEEE Transactions on Computers, 1987
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- Sur l'extension de l'ordre partielFundamenta Mathematicae, 1930