Toward languages and formal systems for distributed computing

Mario Tokoro, Kazunori Takashio

Research output: Chapter in Book/Report/Conference proceedingConference contribution


In this paper, we attempt to reveal the most essential properties of distributed computations. We claim that the notions of asynchrony, real-time, and autonomy are vitally important to a widely distributed, open-ended, ever-changing environment. We then propose a programming language, called DROL, for asynchronous reai-time computing. It supports self-contained active objects that have threads of control and a clock, and introduces the notion of timed invocation, that guarantees the survivability of each active object. We place DROL as a first step in constructing programming languages to realize the above three notions. We also classify distributed computation into four forms according to asynchrony and real-time properties, and 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 the behavioral properties of distributed objects and the interactions among them. We discuss issues remaining to be solved and suggest some possibilities for future work.

Original languageEnglish
Title of host publicationObject-Based Distributed Programming - ECOOP 1993 Workshop, Proceedings
EditorsRachid Guerraoui, Oscar Nierstrasz, Michel Riveill, Michel Riveill
PublisherSpringer Verlag
Number of pages18
ISBN (Print)9783540579328
Publication statusPublished - 1994
EventECOOP 1993 Workshop on Object-Based Distributed Programming - Kaiserslautern, Germany
Duration: 1993 Jul 261993 Jul 27

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume791 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


OtherECOOP 1993 Workshop on Object-Based Distributed Programming

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Toward languages and formal systems for distributed computing'. Together they form a unique fingerprint.

Cite this