Opening book details…
Can I read A Distributed Pi-calculus on EtoBox?
A Distributed Pi-calculus by Matthew Hennessy is a computer science book available to read on EtoBox.
What is A Distributed Pi-calculus about?
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 of the behavior of these distributed systems is d
Who reads A Distributed Pi-calculus?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Matthew Hennessy
- Publisher
- Cambridge University Press (Virtual Publishing)
- Published
- 2007
- Language
- EN
- ISBN
- 9780511611063
- Category
- computer science
- Subjects
- Computer Science, Mathematics, Programming
- Updated
- 2026-03-25
More by Matthew Hennessy
Browse all works by Matthew Hennessy
Similar books
- The Pi Calculus — David Harry Walker Davide Sangiorgi (2001)
- Communicating and Mobile Systems: The Pi Calculus(bookmarks) — Robin Milner (1999)
- A Calculus of Distributed and Parallel Processes — Prof. Dr. Clemens H. Cap (auth.) (2000)
- Pi: A Source Book — Lennart Berggren, Jonathan Borwein, Peter Borwein (auth.) (1997)
- Process Algebra For Parallel And Distributed Processing — Michael Alexander, William Gardner, William, editors, Michael Alexander and (2009)
- Foundations of Synergetics I : Distributed Active Systems — Alexander S. Mikhailov (2012)