A Calculus for Mobile Network Systems. - Jinfeng Huang; Ad Verschueren; Henri Aalderink; Johan J. Lukkien (ICFEM, 2002)