Actors: a model for reasoning about open distributed systems
By Gul Agha and
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", }