Detecting causal relationships in distributed computations: In search of the holy grail

This publication has 56 references indexed in Scilit:

• Timestamping events for inferring 'affects' relation and potential causality
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Recording distributed snopshots based on causal order of message delivery
  Information Processing Letters, 1992
• Detection of unstable predicates in distributed programs
  Published by Springer Nature ,1992
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• Logical time in distributed computing systems
  Computer, 1991
• A new algorithm to implement causal ordering
  Published by Springer Nature ,1989
• Combinatorics and geometry of consistent cuts : Application to concurrency theory
  Published by Springer Nature ,1989
• Temporal logic and causality in concurrent systems
  Published by Springer Nature ,1988
• On the Development of Reactive Systems
  Published by Springer Nature ,1985
• High-level debugging of distributed systems: The behavioral abstraction approach
  Journal of Systems and Software, 1983