An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language

The development of Simula by Ole-Johan Dahl and Kristen Nygaard introduced a number of important programming language concepts – object which supports modularity in programming through encapsulation of data and procedures, the concept of class which organizes behavior and supports Abstract Data Types, and the concept inheritance which provides subtyping relations and reuse [6]. Peter Wegner terms programming languages which use objects as object-based languages, and reserves the term object-oriented languages for languages which also support classes and inheritance [58].

[1]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.

[2]  Rocco De Nicola,et al.  Testing Equivalence for Processes , 1983, ICALP.

[3]  Svend Frølund.  Coordinating distributed objects - an actor-based approach to synchronization , 1996 .

[4]  Carlos A. Varela,et al.  Programming dynamically reconfigurable open systems with SALSA , 2001, SIGP.

[5]  Satoshi Matsuoka,et al.  An efficient implementation scheme of concurrent object-oriented languages on stock multicomputers , 1992, PPOPP '93.

[6]  Peter Wegner,et al.  Dimensions of object-based language design , 1987, OOPSLA '87.

[7]  Gul A. Agha,et al.  Concurrent object-oriented programming , 1993, CACM.

[8]  Pierre America,et al.  ECOOP'91 European Conference on Object-Oriented Programming , 1991, Lecture Notes in Computer Science.

[9]  Carolyn L. Talcott,et al.  A Semantically Sound Actor Tranlsation , 1997, ICALP.

[10]  J. Meseguer,et al.  Rewriting Logic as a Logical and Semantic Framework , 1996 .

[11]  Carolyn L. Talcott,et al.  A Semantically Sound Actor Tranlsation , 1997, ICALP.

[12]  Pattie Maes,et al.  Computational reflection , 1987, The Knowledge Engineering Review.

[13]  William D. Clinger,et al.  Foundations of Actor Semantics , 1981 .

[14]  Carolyn L. Talcott.  Composable Semantic Models for Actor Theories , 1997, TACS.

[15]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[16]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[17]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[18]  Carl Hewitt,et al.  A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.

[19]  Irene Greif,et al.  Semantics of communicating parallel processes , 1975 .

[20]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[21]  Gul Agha,et al.  A actor-based architecture for customizing and controlling agent ensembles , 1999, IEEE Intell. Syst..

[22]  Akinori Yonezawa,et al.  Higher-Order Concurrent Linear Logic Programming , 1994, Theory and Practice of Parallel Programming.

[23]  José Meseguer,et al.  Rewriting as a unified model of concurrency , 1990, OOPSLA/ECOOP '90.

[24]  Carolyn L. Talcott,et al.  Interaction Semantics for Components of Distributed Systems , 1997 .

[25]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[26]  Mario Tokoro,et al.  An Object Calculus for Asynchronous Communication , 1991, ECOOP.

[27]  Gianluigi Zavattaro,et al.  An Algebra of Actors , 1997, FMOODS.

[28]  Gul A. Agha,et al.  Visualizing actor programs using predicate transition nets , 1992, J. Vis. Lang. Comput..

[29]  Davide Sangiorgi,et al.  On asynchrony in name-passing calculi , 1998, Mathematical Structures in Computer Science.

[30]  Carolyn L. Talcott,et al.  A foundation for actor computation , 1997, Journal of Functional Programming.

[31]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[32]  Edward A. Lee,et al.  Actor-Oriented Design of Embedded Hardware and Software Systems , 2003, J. Circuits Syst. Comput..

[33]  Gul Agha,et al.  Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages , 1995, Proceedings of the IEEE/ACM SC95 Conference.

[34]  Akinori Yonezawa,et al.  Towards Foundations of Concurrent Object-Oriented Programming-Types and Language Design , 1995, Theory Pract. Object Syst..

[35]  Gul A. Agha,et al.  Customizable middleware for modular distributed software , 2001, CACM.

[36]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

[37]  Robin Milner,et al.  Elements of interaction: Turing award lecture , 1993, CACM.

[38]  António Ravara,et al.  Typing Non-uniform Concurrent Objects , 2000, CONCUR.

[39]  Laxmikant V. Kalé,et al.  CHARM++: a portable concurrent object oriented system based on C++ , 1993, OOPSLA '93.

[40]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[41]  O. J. Dahl,et al.  Simula Begin , 1979 .

[42]  Gul A. Agha,et al.  A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching , 2002, AMAST.

[43]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[44]  Jean-pierre Briot.  Actalk: A Framework for Object-Oriented Concurrent Programming - Design and Experience , 1999 .

[45]  Wooyoung Kim,et al.  THAL: An Actor System for Efficient and Scalable Concurrent Computing , 1997 .

[46]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[47]  Satoshi Matsuoka,et al.  ECOOP'97 — Object-Oriented Programming , 1997, Lecture Notes in Computer Science.

[48]  Fabien Dagnat,et al.  Typing Concurrent Objects and Actors , 2000, Obj. Logiciel Base données Réseaux.

[49]  Robin Milner,et al.  Barbed Bisimulation , 1992, ICALP.

[50]  José Nuno Oliveira,et al.  FME 2001: Formal Methods for Increasing Software Productivity , 2001, Lecture Notes in Computer Science.

[51]  Gul A. Agha,et al.  A Theory of May Testing for Actors , 2002, FMOODS.

[52]  Kousha Etessami,et al.  Optimizing Büchi Automata , 2000, CONCUR.

[53]  Koushik Sen,et al.  An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0 , 2002, Electron. Notes Theor. Comput. Sci..

[54]  P. Maes.  Intelligent Software: Easing the Burdens that Computers Put on People , 1996, IEEE Expert.

[55]  Carolyn L. Talcott,et al.  An actor rewriting theory , 1996, WRLA.

[56]  Yike Guo,et al.  Formalising Actors in Linear Logic , 1994, OOIS.

[57]  Nalini Venkatasubramanian,et al.  A formal model for reasoning about adaptive QoS-enabled middleware , 2001, TSEM.

[58]  Richard E. Zultner,et al.  TQM for technical teams , 1993, CACM.

[59]  Rocco De Nicola,et al.  Testing Equivalences for Processes , 1984, Theor. Comput. Sci..

[60]  Gul A. Agha,et al.  A protocol description language for customizing failure semantics , 1994, Proceedings of IEEE 13th Symposium on Reliable Distributed Systems.

[61]  Gul Agha,et al.  A Protocol Description Language for Customizing Semantics. , 1994 .

[62]  Davide Sangiorgi,et al.  Some Congruence Properties for Pi-Calculus Bisimilarities , 1998, Theor. Comput. Sci..

[63]  米沢 明憲.  ABCL : an object-oriented concurrent system , 1990 .

[64]  Rocco De Nicola,et al.  Trace and Testing Equivalence on Asynchronous Processes , 2002, Inf. Comput..

[65]  J. Meseguer,et al.  Semantic Models for Distributed Object Reflection , 2002, ECOOP.

[66]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[67]  C. Tomlinson,et al.  Rosette: An object-oriented concurrent systems architecture , 1988, OOPSLA/ECOOP '88.