Proceedings of ECOOP Workshop on OBDP OBDP'93
(1993)
Tokoro, Mario and Takashio, Kazunori (1993)
Tokoro, Mario and Takashio, Kazunori "Toward Languages and Formal Systems for Distributed Computing"