Mobile Ambients – process calculus for mobile computation (1998) [pdf]lucacardelli.name·3 pts·haadcode·3