A Distributed Pi-Calculus

by Matthew Hennessy

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behavior are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behavior 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...

• Format: Hardcover
• Language: English
• ISBN: 0521873304
• ISBN13: 9780521873307
• Release Date: March 2007
• Publisher: Cambridge University Press
• Length: 278 Pages
• Weight: 1.35 lbs.
• Dimensions: 0.8" x 7.1" x 9.7"