On a Concurrency Calculus for Design of Mobile Telecommunication Systems.

Toshihiko Ando, Kaoru Takahashi, Yasushi Kato

Browse the full FORTE paper archive.