A Debugging Calculus for Mobile Ambients.