Open Systems Laboratory at Illinois

On specifying and monitoring epistemic properties of distributed systems

By Koushik Sen, Abhay Vardhan, Gul Agha, and Grigore Rosu. In In 2nd International Workshop on Dynamic Analysis (WODA'04), Satellite workshop of ICSE 2004, pages 32-35. British Institution of Electrical Engineers (IEE), May 2004. 2004.

Full Text:
Download PDF

BibTeX

@inproceedings{woda04,
    author = "Sen, Koushik and Vardhan, Abhay and Agha, Gul and Rosu,
              Grigore",
    title = "On Specifying and Monitoring Epistemic Properties of
             Distributed Systems",
    booktitle = "In 2nd International Workshop on Dynamic Analysis
                 (WODA'04), Satellite workshop of ICSE 2004, pages 32-35.
                 British Institution of Electrical Engineers (IEE), May 2004.",
    keywords = "formal methods, sensor networks, real-time systems,
                software engineering",
    year = "2004",
}