Reachability Analysis on Distributed Executions

Authors:
Claire Diehl;Claude Jard;Jean-Xavier Rampon
Affiliations:
-;-;-
Venue:
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Year:
1993

Citing 0
Cited 4

Local states in distributed computations: a few relations and formulas

ACM SIGOPS Operating Systems Review
Detection of Strong Unstable Predicates in Distributed Programs

IEEE Transactions on Parallel and Distributed Systems
Tracking immediate predecessors in distributed computations

Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures
Detecting global predicates in distributed systems with clocks

Distributed Computing

Quantified Score

Hi-index	0.02

Visualization

Abstract