Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods.

Scott D. Stoller Leena Unnikrishnan Yanhong A. Liu

Published in: CAV (2000)

Keyphrases

distributed systems
partial order
fault tolerant
load balancing
distributed environment
fault tolerance
message passing
partially ordered
total order
operating system
domain independent
distributed database systems
real time systems