Efficient decentralized monitoring of safety in distributed systems

By Koushik Sen, Abhay Vardhan, Gul Agha, and Grigore Rosu. In Submitted to ACM TOSEM [invited]. 2006.

Full Text:

Download PDF

BibTeX

@inproceedings{icse04j,
    author = "Sen, Koushik and Vardhan, Abhay and Agha, Gul and Rosu,
              Grigore",
    title = "Efficient Decentralized Monitoring of Safety in
             Distributed Systems",
    booktitle = "Submitted to ACM TOSEM [invited]",
    keywords = "formal methods, software engineering",
    year = "2006",
}