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

researchr

You are not signed in
Sign in
Sign up

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. In Lars-Henrik Eriksson, Peter A. Lindsay, editors, FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings. Volume 2391 of Lecture Notes in Computer Science, pages 607-624, Springer, 2002. [doi]

This author has not been identified. Look up 'Takaaki Umedu' in GoogleThis author has not been identified. Look up 'Yoshiki Terashima' in GoogleThis author has not been identified. It may be one of the following persons:

Keiichi Yasumoto

Look up 'Keiichi Yasumoto' in GoogleThis author has not been identified. Look up 'Akio Nakata' in GoogleThis author has not been identified. Look up 'Teruo Higashino' in GoogleThis author has not been identified. Look up 'Kenichi Taniguchi' in Google

runs on WebDSL