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

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

Volumn 1091, Issue , 1996, Pages 1-10

  Agha, Gul A ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; PETRI NETS; SEMANTICS;

COMPLEX CONCURRENT SYSTEMS; CONCURRENT SYSTEMS; FORMAL DEFINITION; IN-BUILDINGS; PROGRAMMING ABSTRACTIONS; STANDARD MODEL; STATE OF THE ART; SYSTEM DECOMPOSITION;

ABSTRACTING;

EID: 84957699544     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61363-3_1     Document Type: Conference Paper

References (14)

1. G, Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, Mass., 1986.
2. G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. Journal of Functional Programming, 1996. to appear.
3. Gul Agha. Concurrent Object-Oriented Programming. Communications of the ACM, 33(9):125-141, September 1990.
4. C. J. Callsen and G. A. Agha. Open Heterogeneous Computing in ActorSpace. Journal of Parallel and Distributed Computing, pages 289-300, 1994.
5. S. Frølund and G. Agha. A language framework for multi-object coordination. In Proceedings of ECOOP 1993, volume 707 of Lecture Notes in Computer Science. Springer Verlag, 1993.
6. S. Frølund and G. Agha. Abstracting interactions based on message sets. In Object- Based Models and Languages for Concurrent Systems, volume 924, pages 107-124. Springer-Verlag, 1996. Lecture Notes in Computer Science.
7. Svend Frølund. Coordinating Distributed Objects: An Actor-Based Approach to Synchronization. MIT Press, 1996.
8. W. Kim and G. Agha. Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages. In Supercomputing '95. IEEE, 1995.
9. S. Miriyala, G. Agha, and Y. Sami. Visiualizing actor programs using predicatae transition nets. Journal of Visual Languages and Computation, 3(2):195-220, June 1992.
10. B. Nielsen and G. Agha. Semantics for an actor-based real-time language. In Fourth International Workshop on Parallel and Distributed Real-Time Systems, Honolulu, April 1996. (to be published).
11. S. Ren and G. Agha. Rtsynchronizers: Language support for real-time specifications in distributed systems. In Proceedings of ACM SIGPLAN 1995 Workshop on Languages, Compilers, and Tools for Real-time Systems, pages 55-64, 1995.
12. Y. Sami and Vidal-Naquet. Formalization of the behavior of actors by colored petri nets and some applications. In Conference on Parallel Architectures and Languages Euorpe, PARLE'91, 1991.
13. D. Sturman and G Agha. A protocol description language for customizing failure semantics. In The 13th Symposium on Reliable Distributed Systems, Dana Point, California. IEEE, October 1994.
14. N. Venkatasubramanian and C. L. Talcott. Reasoning about Meta Level Activities in Open Distributed Systems. In Principles of Distributed Computation, 1995.