Extending the pi calculus with the session types proposed by Honda et al. allows high-level
specifications of structured patterns of communication, such as client-server protocols, to be …