A theory of may testing for actors
By
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", }