Actors: a model for reasoning about open distributed systems

By Gul Agha, Prasanna Thati, and Reza Ziaei. In Formal methods for distributed processing: a survey of object-oriented approaches. 2001.

BibTeX

@inproceedings{agha01actors,
    author = "Agha, Gul and Thati, Prasanna and Ziaei, Reza",
    title = "Actors: A Model for Reasoning about Open Distributed
             Systems",
    booktitle = "Formal methods for distributed processing: a
                 survey of object-oriented approaches",
    year = "2001",
}