Composable Semantic Models for Actor Theories

Higher-Order and Symbolic Computation

Volumn 11, Issue 3, 1998, Pages 281-343

  Talcott, Carolyn L ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

Actor component algebra; Actors; Composable semantics; Event diagram; Morphism

Indexed keywords

ALGEBRA; FORMAL LOGIC; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS;

ACTOR COMPONENT ALGEBRA; COMPOSABLE SEMANTIC MODELS; EVENT DIAGRAMS;

COMPUTATIONAL LINGUISTICS;

EID: 0032300923     PISSN: 13883690     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1010042915896     Document Type: Article

References (15)

1. Agha, G. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA, 1986.
2. Agha, G. Concurrent object-oriented programming, Communications of the ACM 33 9 (Sept. 1990) 125-141.
3. Agha, G. Abstracting interaction patterns: A programming paradigm for open distributed systems. In Formal Methods for Open Object-based Distributed Systems, E. Najm and J-B. Stefani (Eds.). Chapman & Hall, 1997, pp. 135-153.
4. Agha, G., Mason, I.A., Smith, S.F., and Talcott, C.L. A foundation for actor computation, Journal of Functional Programming 7 (1997) 1-72.
5. Baker, Henry G. Actor systems for realtime computation. Technical Report, MIT LCS Technical Report 197, MIT, Mar. 1978.
6. Baker, Henry G. and Hewitt, Carl. Laws for communicating parallel processes. In IFIP Congress. IFIP, Aug. 1977, pp. 987-992.
7. Clinger, W.D. Foundations of Actor Semantics. PhD thesis, MIT Artificial Intelligence Laboratory AI-TR-633, MIT, 1981. .
8. Greif, I. Semantics of communicating parallel processes. Technical Report 154, Project MAC, MIT, 1975.
9. Hewitt, C. Viewing control structures as patterns of passing messages, Journal of Artificial Intelligence 8 3 (1977) 323-364.
10. Meseguer, J. Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science 96 1 (1992) 73-155.
11. Meseguer, J. Rewriting logic as a semantic framework for concurrency: a progress report. In Concur96, 1996.
12. Mason, I.A. and Talcott, C.L. A semantically sound actor translation. In ICALP'97. Lecture Notes in Computer Science 1256. Springer-Verlag, 1997, pp. 369-378.
13. Smith, S.F. Specification diagrams for actor systems. In Proceedings of Higher-Order Operational Techniques in Semantics, HOOTS II. Electronic Notes in Theoretical Computer Science 10, North-Holland, 1998.
14. Talcott, C.L. An actor rewriting theory. In Proc. 1st Intl. Workshop on Rewriting Logic and its Applications, J. Meseguer (Ed.). Electronic Notes in Theoretical Computer Science 4. North-Holland, 1996, pp. 360-383.
15. Talcott, C.L. Interaction semantics for components of distributed systems. In 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, FMOODS'96, E. Najm and J-B. Stefani (Eds.). Chapman & Hall, 1997.