Efficient decentralized monitoring of safety in distributed systems (2004)

by A Vardhan, G Agha, G Ro¸su
Venue:In ICSE ’04: Proceedings of the 26th International Conference on Software Engineering