Keiichi Yasumoto Kazuhiro Gotoh Hiroki Tatsumoto Teruo Higashino Kenichi Taniguchi Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. 161-176 1997 conf/forte/1997 FORTE db/conf/forte/forte1997.html#YasumotoGTHT97