Open Systems Laboratory at Illinois

Actors: a model for reasoning about open distributed systems

By Gul Agha and Prasanna Thati. In in H. Bowman and J. Derrick (editors), Formal Methods for Distributed Processing - An Object Oriented Approach, Chap. 8, Cambridge University Press. 2001.

Full Text:
Download PDF

BibTeX

@inproceedings{fmdp01,
    author = "Agha, Gul and Thati, Prasanna",
    title = "Actors: A model for reasoning about open distributed
             systems",
    booktitle = "in H. Bowman and J. Derrick (editors), Formal
                 Methods for Distributed Processing - An Object Oriented
                 Approach, Chap. 8, Cambridge University Press",
    keywords = "formal methods",
    year = "2001",
}