Open Systems Laboratory at Illinois

Towards a theory of actor computation

By Gul Agha, Ian A. Mason, Scott F. Smith, and Carolyn L. Talcott. In CONCUR, volume 630 of Lecture Notes in Computer Science, 565–579. Springer, 1992.

Full Text:
Download PDF
Publisher Link:
http://dx.doi.org/10.1007/BFb0084816

Abstract

In this paper we present preliminary results of a rigorous development of the actor model of computation. We present an actor language which is an extension of a simple functional language, and provide a precise operational semantics for this extension. Our actor systems are open distributed systems, meaning we explicitly take into account the interface with external components in the specification of an actor system. We define and study various notions of equivalence on actor expressions and systems. We show that the usual tripartite family of testing equivalence relations collapses to two in the presence of fairness. We define a notion of operational bisimulation as a tool for establishing equivalence under fairness assumptions, and illustrate its use.

BibTeX

@inproceedings{conf/concur/AghaMST92,
    author = "Agha, Gul and Mason, Ian A. and Smith, Scott F. and
              Talcott, Carolyn L.",
    editor = "Cleaveland, Rance",
    title = "Towards a Theory of Actor Computation",
    booktitle = "CONCUR",
    crossref = "conf/concur/1992",
    ee = "http://dx.doi.org/10.1007/BFb0084816",
    keywords = "formal methods",
    pages = "565-579",
    year = "1992",
}

@proceedings{conf/concur/1992,
    editor = "Cleaveland, Rance",
    title = "CONCUR '92, Third International Conference on
             Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992,
             Proceedings",
    isbn = "3-540-55822-5",
    publisher = "Springer",
    series = "Lecture Notes in Computer Science",
    volume = "630",
    year = "1992",
}