Matthew HennessyBooksAutomata, languages and programmingAlgebraic theory of processesThe semantics of programming languagesA Distributed Pi-CalculusAuthor data: Open Library