Composable semantic models for actor theories

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

Volumn 1281, Issue , 1997, Pages 321-364

  Talcott, Carolyn L ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATION THEORY; COMPUTER SOFTWARE; OPEN SYSTEMS;

ALGEBRA HOMOMORPHISMS; COMPOSABLE; INTERACTION DIAGRAM; INTERACTION PATH; PARALLEL COMPOSITION; SEMANTIC DOMAINS; SEMANTIC MODEL;

SEMANTICS;

EID: 84957713992     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0014558     Document Type: Conference Paper

References (11)

1. [Agh86] G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, Mass., 1986.
2. [Agh90] G. Agha. Concurrent object-oriented programming. Communications of the ACM, 33(9): 125-141, September 1990.
3. [Agh97] G. Agha. Abstracting interaction patterns: A programming paradigm for open distribute systems. In E. Najm and J-B. Síefani, editors, Formal Methods for Open Object-based Distributed Systems, pages 135-153. Chapmn & Hall, 1997.
4. [AMST97] G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. Journal of Functional Programming, 7:1-72, 1997.
5. [BH77] Henry G. Baker and Carl Hewitt. Laws for communicating parallel processes. In IFIP Congress, pages 987-992. IFIP, August 1977.
6. [CH81] W. D. Ginger. Foundations of Actor Semantics. PhD thesis, MIT, 1981. MIT Artificial Intelligence Laboratory AI-TR-633.
7. [Gre75] I. Greif. Semantics of communicating parallel processes. Technical Report 154, MIT, Project MAC. 1975.
8. [Hew77] C. Hewitt. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence, 8(3):323-364, 1977.
9. [MT97] I. A. Mason and C. L. Talcott. A semantically sound actor translation. In ICALP'97, 1997. to appear.
10. [Tal96al C. L, Talcott. An actor rewriting theory. In Workshop on Rewriting Logic, number 4 in Electronic Notes in Theoretical Computer Science, 1996.
11. [Tal96b] C. L. Talcott. Interaction semantics for components of distributed systems. In E. Najm and J-B. Stefani, editors, 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, FMOODS'96, 1996. proceedings published in 1997 by Chapman & Hall.