Toward Languages and Formal Systems for Distributed Computing

Mario Tokoro, Kazunori Takashio. Toward Languages and Formal Systems for Distributed Computing. In Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill, editors, Object-Based Distributed Programming, ECOOP 93 Workshop, Kaiserslautern, Germany, July 26-27, 1993. Volume 791 of Lecture Notes in Computer Science, pages 93-110, Springer, 1993.

Abstract

Abstract is missing.