Asynchrony and real-time in distributed systems

  • Mario Tokoro
  • Ichiro Satoh
Conference paper

DOI: 10.1007/BFb0018660

Part of the Lecture Notes in Computer Science book series (LNCS, volume 748)
Cite this paper as:
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

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.

Download to read the full conference paper text

Copyright information

© Springer-Verlag 1993

Authors and Affiliations

  • Mario Tokoro
    • 1
    • 2
  • Ichiro Satoh
    • 1
  1. 1.Department of Computer ScienceKeio UniversityYokohamaJapan
  2. 2.Sony Computer Science Laboratory Inc.3-14-13 Higashi-Gotanda Shinagawa-kuTokyoJapan

Personalised recommendations