A Distributed Pi-Calculus

A Distributed Pi-Calculus

by Matthew Hennessy

Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical theory of the behaviour of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this theory can be used to develop verification techniques for guaranteeing the behavior of distributed agents. The text is accessible to computer scientists with a minimal background in discrete mathematics. It contains an elementary account of the pi-calculus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles.

Discuss A Distributed Pi-Calculus with other readers

Join or start a book club for A Distributed Pi-Calculus on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for A Distributed Pi-Calculus?

Sign up free on Readfeed, then browse public clubs or start your own club with A Distributed Pi-Calculus as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss A Distributed Pi-Calculus with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about A Distributed Pi-Calculus with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.