Toshihiko Ando;Kaoru Takahashi;Yasushi Kato;Norio Shiratori
-;-;-;-
A Calculus for Mobile Network Systems
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering