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",
}