Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. - Keiichi Yasumoto; Kazuhiro Gotoh; Hiroki Tatsumoto; Teruo Higashino; Kenichi Taniguchi (FORTE, 1997)