Asynchrony and real-time in distributed systems
- First Online:
- 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
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.