Skip to main content
SpringerLink
Log in

Composable semantic models for actor theories

  • Inivited Talk 4
  • Conference paper
  • First Online:
Theoretical Aspects of Computer Software (TACS 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1281))

Included in the following conference series:

  • 97 Accesses

Abstract

We define three semantic models for actor computation starting with a generalization to open systems of Clinger's event diagram model, and forming two abstractions: interaction diagrams and interaction paths. An algebra is defined on each semantic domain with operations for parallel composition, hiding of internal actors, and renaming. We use these models to provide semantics for descriptions of actor components based on actor theories and show that the semantics is a component algebra homomorphism.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, Mass., 1986.

    Google Scholar 

  2. G. Agha. Concurrent object-oriented programming. Communications of the ACM, 33(9):125–141, September 1990.

    Google Scholar 

  3. G. Agha. Abstracting interaction patterns: A programming paradigm for open distribute systems. In E. Najm and J-B. Stefani, editors, Formal Methods for Open Object-based Distributed Systems, pages 135–153. Chapmn & Hall, 1997.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. Henry G. Baker and Carl Hewitt. Laws for communicating parallel processes. In IFIP Congress, pages 987–992. IFIP, August 1977.

    Google Scholar 

  6. W. D. Clinger. Foundations of Actor Semantics. PhD thesis, MIT, 1981. MIT Artificial Intelligence Laboratory AI-TR-633.

    Google Scholar 

  7. I. Greif. Semantics of communicating parallel processes. Technical Report 154, MIT, Project MAC, 1975.

    Google Scholar 

  8. C. Hewitt. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence, 8(3):323–364, 1977.

    Google Scholar 

  9. I. A. Mason and C. L. Talcott. A semantically sound actor translation. In ICALP'97, 1997. to appear.

    Google Scholar 

  10. C. L. Talcott. An actor rewriting theory. In Workshop on Rewriting Logic, number 4 in Electronic Notes in Theoretical Computer Science, 1996.

    Google Scholar 

  11. 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 Svstems, FMOODS'96, 1996. proceedings published in 1997 by Chapman & Hall.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Stanford University, USA

    Carolyn L. Talcott

Authors
  1. Carolyn L. Talcott
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martín Abadi Takayasu Ito

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Talcott, C.L. (1997). Composable semantic models for actor theories. In: Abadi, M., Ito, T. (eds) Theoretical Aspects of Computer Software. TACS 1997. Lecture Notes in Computer Science, vol 1281. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014558

Download citation

  • DOI: https://doi.org/10.1007/BFb0014558

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63388-4

  • Online ISBN: 978-3-540-69530-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation