Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition

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

Abstract

This paper reviews the state of the art in building and reasoning about concurrent system using actors. We first provide a brief definition of actors and discuss the status of actor theory. We then describe a number of programming abstractions that are useful in developing and maintaining complex concurrent systems. Defining such abstractions requires a sort of system decomposition that is not supported by standard models of concurrency, including actors and nets. Rather a suitable meta-architecture is needed and its satisfactory formal definition remains elusive. We currently have only rudimentary semantics for the different programming abstractions that we have developed.

Original languageEnglish (US)
Title of host publicationApplication and Theory of Petri Nets 1996 - 17th International Conference, Proceedings
EditorsWolfgang Reisig, Jonathan Billington
PublisherSpringer-Verlag
Pages1-10
Number of pages10
ISBN (Print)3540613633, 9783540613633
DOIs
StatePublished - Jan 1 1996
Event17th International Conference on Application and Theory of Petri Nets, 1996 - Osaka, Japan
Duration: Jun 24 1996Jun 28 1996

Publication series

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

Other

Other17th International Conference on Application and Theory of Petri Nets, 1996
CountryJapan
CityOsaka
Period6/24/966/28/96

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition'. Together they form a unique fingerprint.

  • Cite this

    Agha, G. A. (1996). Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition. In W. Reisig, & J. Billington (Eds.), Application and Theory of Petri Nets 1996 - 17th International Conference, Proceedings (pp. 1-10). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1091). Springer-Verlag. https://doi.org/10.1007/3-540-61363-3_1