Faire Logo
Skip to main content
Books by splitShops - Wholesale Book - Adult - A Distributed Pi-Calculus - Hardcover0
Books by splitShops - Wholesale Book - Adult - A Distributed Pi-Calculus - Hardcover
Avatar
Star

4.5 ()

$75.00 min

Wholesale A Distributed Pi-Calculus - Hardcover

Wholesale A Distributed Pi-Calculus - Hardcover

Wholesale A Distributed Pi-Calculus - Hardcover

Wholesale A Distributed Pi-Calculus - Hardcover

WSP

$143.82 MSRP

Shipping & policies

  • Estimated delivery Dec 11-22
  • Free and easy returns. Learn more

With Faire, shop unique wholesale products for your store from brands like Books by splitShops and more.


Description

by Matthew Hennessy (Author) 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. Number of Pages: 278 Dimensions: 0.76 x 9.74 x 7.06 IN Publication Date: March 08, 2007


Details

SKU: 9780521873307 Made in United States Weight: 0.62 kg (1.37 lb) EAN: 9780521873307



Ratings and reviews

4.5

Brand rating ()

5

5

38

38

4

4

2

2

3

3

2

2

2

2

1

1

1

1

3

3

4.8

Quality of products

4.9

Fulfillment

5.0

Communication

No reviews for A Distributed Pi-Calculus - Hardcover yet.

Reviews for similar products from Books by splitShops: Book

J.R.R. Tolkien: The biography of a high fantasy author, his tales, dreams and legacy - Paperback

No longer active

I love all the books I received and they are drawing interest and sales. Thank you!

I love all the books I received and they are drawing interest and sales. Thank you!

6 mai 2025 • Mendee • Florence, OR, United States

This company has great books and excellent communication. They have been helpful with all steps of the process. Thank you!

This company has great books and excellent communication. They have been helpful with all steps of the process. Thank you!

16 oct. 2025 • Melvin • Chicago, IL, United States

Little Stranger: A Dark Taboo Romance - Paperback

No longer active

We are Amoura and adult boutique and this book has been a hit at our store Splitshop delivered amazing copies. No damages. Will be ordering more

We are Amoura and adult boutique and this book has been a hit at our store Splitshop delivered amazing copies. No damages. Will be ordering more

22 sept. 2025 • Leticia • Pomona, CA, United States

Newsom Unleashed: The Progressive Lust for Unbridled Power - Paperback

No longer active

Came in as expected

Came in as expected

17 sept. 2025 • Karen • Bonhomme Township, MO, United States