Efficient Decentralized Monitoring of Safety in Distributed Systems

Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu. Efficient Decentralized Monitoring of Safety in Distributed Systems. In 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. pages 418-427, IEEE Computer Society, 2004. [doi]

Abstract

Abstract is missing.