A Declarative Synchronization Mechanism for Parallel Object-Oriented Computation. - Takanobu Baba; Norihito Saitoh; Takahiro Furuta; Hiroshi Taguchi; Tsutomu Yoshinaga (IEICE Trans. Inf. Syst., 1995)