Efficient Decentralized Monitoring of Safety in Distributed Systems. (2004)

by K Sen, A Vardhan, G Agha, G Rosu
Venue:In Int. Conf. on Software Engineering,