Skip to main content
SpringerLink
Log in

Asynchrony and real-time in distributed systems

  • Conference paper
  • First Online:
Parallel Symbolic Computing: Languages, Systems, and Applications (PSC 1992)

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

Included in the following conference series:

Abstract

In this paper we attempt to reveal the most essential properties of distributed computations. We classify distributed computation into four forms according to asynchrony and real-time properties. We try to develop formalisms for the four categories based on a process calculus. The formalisms allow us to describe and analyze both globally and locally temporal properties as well as behavioral properties of distributed objects and interactions among them. We also outline a programming language for asynchronous real-time computing. We here discuss issues remaining to be solved and show some prospects.

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. Honda, K., and Tokoro, M., An Object Calculus for Asynchronous Communication, Proceedings of ECOOP'91, LNCS 512, p133–147, June, 1991.

    Google Scholar 

  2. Milner, R., Communication and Concurrency, Prentice Hall, 1989.

    Google Scholar 

  3. Satoh, I., and Tokoro, M., A Formalism for Real-Time Concurrent Object-Oriented Computing, Proceedings of ACM OOPSLA'92, p315–326, October, 1992.

    Google Scholar 

  4. Satoh, I., and Tokoro, M., A Timed Calculus for Distributed Objects with Clocks, to appear in Proceedings of ECOOP'93, July, 1993.

    Google Scholar 

  5. Takashio, K., and Tokoro, M., DROL: An Object-Oriented Programming Language for Distributed Real-time Systems, Proceedings of ACM OOPSLA'92, p276–294, October, 1992.

    Google Scholar 

  6. Tokoro, M., Computational Field Model: Toward a New Computing Model/Methodology for Open Distributed Environment, Proceedings of IEEE Workshop on Future Trends of Distributed Computing Systems, September, 1990.

    Google Scholar 

  7. Tokoro, M., Toward Computing Systems for the 2000's, Proceedings of Operating Systems in 1990's and Beyond, LNCS 563, December, 1991.

    Google Scholar 

  8. Tokuda, H., and Mercer, C. W., ARTS: A Distributed Real-Time Kernel, ACM Operating System Review, Vol.23, No.3, 1989.

    Google Scholar 

  9. Yonezawa, A., and Tokoro, M., editors, Object-Oriented Concurrent Programming, MIT Press, 1987.

    Google Scholar 

  10. Yokote, Y., The Apertos Reflective Operating System: The Concept and its Implementation, Proceedings of ACM OOPSLA'92, p397–413, October, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Keio University, 3-14-1, Hiyoshi, Kohoku-ku, 223, Yokohama, Japan

    Mario Tokoro & Ichiro Satoh

  2. Sony Computer Science Laboratory Inc.3-14-13 Higashi-Gotanda Shinagawa-ku, 141, Tokyo, Japan

    Mario Tokoro

Authors
  1. Mario Tokoro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ichiro Satoh
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Robert H. Halstead Jr. Takayasu Ito

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tokoro, M., Satoh, I. (1993). Asynchrony and real-time in distributed systems. In: Halstead, R.H., Ito, T. (eds) Parallel Symbolic Computing: Languages, Systems, and Applications. PSC 1992. Lecture Notes in Computer Science, vol 748. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018660

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57396-8

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation