A theory of may testing for actors

By Prasannaa Thati, Reza Ziaei, and Gul Agha. In FMOODS, volume 209 of IFIP Conference Proceedings, 147–162. Kluwer, 2002.

Full Text:

Download PDF

BibTeX

@inproceedings{conf/fmoods/ThatiZA02,
    author = "Thati, Prasannaa and Ziaei, Reza and Agha, Gul",
    editor = "Jacobs, Bart and Rensink, Arend",
    title = "A Theory of May Testing for Actors",
    booktitle = "FMOODS",
    crossref = "conf/fmoods/2002",
    keywords = "formal methods",
    pages = "147-162",
    year = "2002",
}

@proceedings{conf/fmoods/2002,
    editor = "Jacobs, Bart and Rensink, Arend",
    title = "Formal Methods for Open Object-Based Distributed Systems
             V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods
             for Open Object-Based Distributed Systems (FMOODS 2002), March
             20-22, 2002, Enschede, The Netherlands",
    isbn = "0-7923-7683-8",
    publisher = "Kluwer",
    series = "IFIP Conference Proceedings",
    volume = "209",
    year = "2002",
}