Efficient Decentralized Monitoring of Safety in Distributed Systems.

Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu

Browse the full ICSE paper archive.