A Foundation for Actor Computation

A Foundation for Actor Computation (1998)

by Gul Agha , Ian A. Mason , Scott F. Smith , Carolyn L. Talcott

Venue:	Journal of Functional Programming
Citations:	198 - 48 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Foundation for Actor Computation	user correction - Legacy Corrections
AUTHOR NAME	Gul Agha	user correction - Legacy Corrections
AUTHOR AFFIL	University of Illinois	user correction - Legacy Corrections
AUTHOR NAME	Ian A. Mason	user correction - Legacy Corrections
AUTHOR NAME	Scott F. Smith	user correction - Legacy Corrections
AUTHOR NAME	Carolyn L. Talcott	user correction - Legacy Corrections
ABSTRACT	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 represent open distributed systems, by which we mean that the specification of an actor system explicitly takes into account the interface with external components. We study the composability of such systems. We define and study various notions of testing equivalence on actor expressions and configurations. The model we develop provides fairness. An important result is that the three forms of equivalence, namely, convex, must, and may equivalences, collapse to two in the presence of fairness. We further develop methods for proving laws of equivalence and provide example proofs to illustrate our methodology.	SVM HeaderParse 0.1
YEAR	1998	user correction - Legacy Corrections
VENUE	Journal of Functional Programming	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	1--72	INFERENCE
VOLUME	7	INFERENCE
CITATIONS	43 found	ParsCit 1.0