Inevitable global states: a concept to detect unstable properties of distributed computations in an observer independent way

This publication has 13 references indexed in Scilit:

• Synchronization and concurrency measures for distributed computations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Detecting causal relationships in distributed computations: In search of the holy grail
  Distributed Computing, 1994
• Debugging tool for distributed Estelle programs
  Computer Communications, 1993
• Detecting atomic sequences of predicates in distributed computations
  Published by Association for Computing Machinery (ACM) ,1993
• Some optimal algorithms for decomposed partially ordered sets
  Information Processing Letters, 1992
• Consistent detection of global predicates
  Published by Association for Computing Machinery (ACM) ,1991
• Using Consistent Subcuts for Detecting Stable Properties
  Published by Defense Technical Information Center (DTIC) ,1991
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978
• Sur l'extension de l'ordre partiel
  Fundamenta Mathematicae, 1930