Matthew Hennessy

• A Distributed Pi-Calculus
• Algebraic theory of processes
• Automata, languages and programming
• The semantics of programming languages