A Distributed Pi-Calculus
Language: English
Published by Cambridge University Press, 2007
- Hardcover
- Used
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.Bay State Book Company
5-star seller
AbeBooks seller since January 23, 2023
Hardcover
Condition: Used - Good
US$ 78.10
Free Shipping
Ships within U.S.A.
Quantity: 1 available
Add to basketItem description from seller
The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing.
Seller Inventory # BSM.19XG5
- Title
- A Distributed Pi-Calculus
- Author
- Hennessy, Matthew
- Publisher
- Cambridge University Press
- Publication year
- 2007
- Condition
- good
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0521873304
- ISBN 13
- 9780521873307
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 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.
"Synopsis" may belong to another edition of this title.
About the Author
Matthew Hennessy is a Professor of Computer Science at the Department of Informatics, University of Sussex. This is his 3rd book.
"About the title" may belong to another edition of this title.
Bay State Book Company
North Smithfield, RI, U.S.A.
5-star seller
AbeBooks seller since January 23, 2023
Shipping rates within U.S.A.
| Item | 4 to 11 business days | 4 to 10 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 6.00 |
Payment methods
Store description
We are a local book store that specializes in used books. Our delivery is quick. Same day shipping most of the time and most books arrive within 5 days or ordering.
Specialty
History, fiction, children's booksSeller's business information
Bay State Book Company LLC
473 saint paul st, suite 1 (Bay State Books)
North Smithfield, RI U.S.A. 02896