Takaaki Umedu Yoshiki Terashima Keiichi Yasumoto Akio Nakata Teruo Higashino Kenichi Taniguchi A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels. 607-624 2002 conf/fm/2002 FME http://link.springer.de/link/service/series/0558/bibs/2391/23910607.htm db/conf/fm/fme2002.html#UmeduTYNHT02