Skip to main content
SpringerLink
Log in

Temporal reasoning about actor programs

  • Temporal Reasoning
  • Conference paper
  • First Online:
Book cover Progress in Artificial Intelligence (EPIA 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1323))

Included in the following conference series:

Abstract

We present an approach to reasoning about actor programs based on temporal logic. This formal framework allows more sophisticated abstraction mechanisms to be introduced into actor specifications. Such mechanisms turn out to be a major prerequisite for the use of actor systems in large-scale applications.

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, 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 

  2. Gul Agha. Actors: a Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.

    Google Scholar 

  3. Gul Agha. The structure and semantics of actor languages. In J.W. de Bakker et al., editors, Foundations of Object-Oriented Languages, pp. 1–59. Springer, 1990.

    Google Scholar 

  4. Gul Agha et al. Abstraction and modularity mechanisms for concurrent computing. In Gul Agha et al., editors, Research Directions in Concurrent Object-Oriented Programming, pp. 3–21. MIT Press, 1993.

    Google Scholar 

  5. Gul Agha and Carl Hewitt. Concurrent programming using actors. In A.Yonezawa and M.Tokoro, editors, Object-Oriented Concurrent Programming, pp. 37–53. MIT Press, 1987.

    Google Scholar 

  6. Howard Barringer. The use of temporal logic in the compositional specification of concurrent systems. In A. Galton, editor, Temporal Logics and their Applications., pp. 53–90. Academic Press, 1987.

    Google Scholar 

  7. K. Many Chandy and J. Misra. Parallel Program Design. Addison-Wesley, 1989.

    Google Scholar 

  8. WD. Clinger. Foundations of Actor Semantics. PhD thesis, MIT, Dept. of Mathematics, 1981.

    Google Scholar 

  9. E.A. Emerson and J. Y. Halpern. 'sometimes’ and ‘Not Never’ revisited: on branching time versus linear time temporal logic. Journal of the ACM, 33(1):151–178, 1986.

    Google Scholar 

  10. Michael Fisher. A survey of Concurrent METATEM: the language and its applications. In Proc. of the First International Conference on Temporal Logic (ICTL), 1994.

    Google Scholar 

  11. Svend Frølund. Inheritance of synchronization constraints in concurrent object-oriented programming languages. In ECOOP '92 — European Conf on Object-Oriented Programming, pp. 185–196,1992

    Google Scholar 

  12. U. Hahn, S. Schacht, and N. Bröker. Concurrent, object-oriented dependency parsing: the ParseTalk model. Int'l. Journal of Human-Computer Studies, 41(1/2):179–222, 1994.

    Google Scholar 

  13. Fred Kröger. Temporal Logic of Programs. Springer, 1987.

    Google Scholar 

  14. Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872–923, 1994.

    Google Scholar 

  15. Henry Lieberman. An object-oriented simulator for the Apiary. In AAAI '83 — Proc. of the National Conf. on Artificial Intelligence, pp. 241–246, 1983

    Google Scholar 

  16. Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer, 1992.

    Google Scholar 

  17. Peter Neuhaus and Udo Hahn. Restricted parallelism in object-oriented lexical parsing. In COLING '96 — Proc. of the 16th Intl. Conf. on Computational Linguistics, pp. 502–507,1996.

    Google Scholar 

  18. Susan Owicki and Leslie Lamport. Proving liveness properties of concurrent programs. ACM Transactions on Programming Languages and Systems, 4(3):455–495, 1982.

    Google Scholar 

  19. A.S. Rao and M.P. Georgeff. Modeling rational agents within a bdi-architecture. In Proc. of the 2nd Int'l. Conf. on Principles of Knowledge Representation and Reasoning, pp. 473–484, 1991

    Google Scholar 

  20. Yoav Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.

    Google Scholar 

  21. M. Yasugi, S. Matsuoka, and A. Yonezawa. ABCL/onEM-4: a new software/hardware architecture for object-oriented concurrent computing on an extended data-flow computer. In Proc. ACM Int'l. Conf. on Supercomputing, pp. 93–103, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computational Linguistics Lab, Freiburg University, Werthmannplatz 1, D-79085, Freiburg, FRG

    Susanne Schacht & Udo Hahn

Authors
  1. Susanne Schacht
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Udo Hahn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ernesto Coasta Amilcar Cardoso

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schacht, S., Hahn, U. (1997). Temporal reasoning about actor programs. In: Coasta, E., Cardoso, A. (eds) Progress in Artificial Intelligence. EPIA 1997. Lecture Notes in Computer Science, vol 1323. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023929

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-69605-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation