From: firstname.lastname@example.org (Gul Agha) Subject: Actor Theory Paper available Organization: University of Illinois, Dept. of Comp. Sci., Urbana, IL Date: Wed, 4 Aug 1993 15:41:02 GMT
A new paper providing a definitive and detailed development of the semantics of actor systems is available via anonymous ftp. Comments are especially welcome.
Title: A Foundation for Actor Computation
Authors: Gul Agha, Univerity of Illinois at Urbana-Champaign Ian Mason, Stanford University Scott Smith, John Hopkins University Carolyn Talcott, Stanford University
We present an actor language which is an extension of a simple functional language, and provide a precise operational semantics for this extension. Actor configurations 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 configurations.
to ftp the compressed postscript file: ftp sail.stanford.edu (or 126.96.36.199) login: anonymous send ident as password. cd pub/MT the file is called: 93actors.ps.Z
Note: the paper is 76pp long. It subsumes work reported in our paper in CONCUR '92.
(A number of other recent papers on actor languages and their implementation may be obtained by anonymous ftp from biobio.cs.uiuc.edu in the directory pub/papers).
This document was translated by ms2html v1.8 on 01.06.95.