A Distributed Pi-Calculus
Matthew (University of Sussex) Hennessy
Cambridge University Press, 2007
115,75 €On orderDelivery: 2-3 weeks
This book proposes a formal mathematical language, a distributed pi-calculus called Dpi, for describing, at varying levels of abstraction, 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.
- ISBN-13
- 9780521873307
- ISBN-10
- 0521873304
- Publisher
- Cambridge University Press
- Year
- 2007
- Publication date
- 2007-03-08
- Pages
- 278
- Dimensions
- 254x182x19
- Weight
- 626