Communicating and Mobile Systems: The Pi Calculus