Towards a theory of actor computation

Gul Agha, Ian A. Mason, Scott Smith, Carolyn Talcott

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationCONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings
EditorsW. Rance Cleaveland
PublisherSpringer-Verlag
Pages565-579
Number of pages15
ISBN (Print)9783540558224
StatePublished - Jan 1 1992
Event3rd International Conference on Concurrency Theory, CONCUR 1992 - Stony Brook, United States
Duration: Aug 24 1992Aug 27 1992

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume630 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other3rd International Conference on Concurrency Theory, CONCUR 1992
CountryUnited States
CityStony Brook
Period8/24/928/27/92

Fingerprint

Open systems
Semantics
Specifications
Testing
Fairness
Equivalence
Models of Computation
Bisimulation
Operational Semantics
Open Systems
Equivalence relation
Distributed Systems
Actors
Specification
Language

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Agha, G., Mason, I. A., Smith, S., & Talcott, C. (1992). Towards a theory of actor computation. In W. R. Cleaveland (Ed.), CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings (pp. 565-579). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 630 LNCS). Springer-Verlag.

Towards a theory of actor computation. / Agha, Gul; Mason, Ian A.; Smith, Scott; Talcott, Carolyn.

CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. ed. / W. Rance Cleaveland. Springer-Verlag, 1992. p. 565-579 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 630 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Agha, G, Mason, IA, Smith, S & Talcott, C 1992, Towards a theory of actor computation. in WR Cleaveland (ed.), CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 630 LNCS, Springer-Verlag, pp. 565-579, 3rd International Conference on Concurrency Theory, CONCUR 1992, Stony Brook, United States, 8/24/92.
Agha G, Mason IA, Smith S, Talcott C. Towards a theory of actor computation. In Cleaveland WR, editor, CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Springer-Verlag. 1992. p. 565-579. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Agha, Gul ; Mason, Ian A. ; Smith, Scott ; Talcott, Carolyn. / Towards a theory of actor computation. CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. editor / W. Rance Cleaveland. Springer-Verlag, 1992. pp. 565-579 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{2b0258bbf116424984beda20cc4707d0,
title = "Towards a theory of actor computation",
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.",
author = "Gul Agha and Mason, {Ian A.} and Scott Smith and Carolyn Talcott",
year = "1992",
month = "1",
day = "1",
language = "English (US)",
isbn = "9783540558224",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "565--579",
editor = "Cleaveland, {W. Rance}",
booktitle = "CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings",

}

TY - GEN

T1 - Towards a theory of actor computation

AU - Agha, Gul

AU - Mason, Ian A.

AU - Smith, Scott

AU - Talcott, Carolyn

PY - 1992/1/1

Y1 - 1992/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84991988800&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84991988800&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84991988800

SN - 9783540558224

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 565

EP - 579

BT - CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings

A2 - Cleaveland, W. Rance

PB - Springer-Verlag

ER -