A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels.

Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata, Teruo Higashino, Kenichi Taniguchi

Browse the full FM paper archive.