A Distributed Pi-Calculus

Explore the fascinating world of distributed systems with Distributed Pi-Calculus by Matthew Hennessy, published by Cambridge University Press in 2007. This insightful book spans 278 pages and introduces a formal mathematical language known as Dpi, designed for articulating the behavior of mobile agents in a distributed environment. Building upon the foundational principles of the pi-calculus, Dpi incorporates a network layer and a unique migration construct, allowing for richer and more nuanced descriptions of agent interactions. Ideal for professionals and students in computer science, this book delves into client-server computing, programming languages, and the mathematical theory of computation. Enhance your understanding of modern programming and software development with this essential resource.