Efficient Decentralized Monitoring of Safety in Distributed Systems (2004)

by Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
Venue:SLD Collaboration), Phys. Rev. D53