A Distributed Pi-Calculus
Matthew Hennessy
Reading Time
at 250 WPM4h 19m
The average reader, reading at a speed of 250 WPM, would take 4h 19m to read A Distributed Pi-Calculus.
Personalise your estimate by entering your reading speed below
Test my reading speedEnter speed in words per minute
9
days at 30 min/day
259
total minutes
A Distributed Pi-Calculus
Published
2010
Publisher
Cambridge University Press
Pages
259
ISBN-13
9781280815829
Description
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing 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. A mathematical theory of the behaviour 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.
Subjects
Frequently Asked Questions
How many pages are in A Distributed Pi-Calculus?
This edition of A Distributed Pi-Calculus has approximately 259 pages. Please note, this is an estimate and the exact page count can vary between hardcover, paperback, and e-book versions.
How long does it take to read A Distributed Pi-Calculus?
For most readers, A Distributed Pi-Calculus typically takes between 5h 24m and 3h 36m to complete. This is based on the book's length of approximately 64,750 words and common reading speeds.
Here's a detailed breakdown: • Continuous reading at 250 WPM: approximately 4h 19m of focused reading • Casual reading (30 minutes/day): you could finish in roughly 9 days • Estimated word count: 64,750 words
Your individual reading time will vary based on your personal reading pace, the amount of daily reading time, and your familiarity with the subject matter.
What is the word count of A Distributed Pi-Calculus?
The estimated word count for A Distributed Pi-Calculus is approximately 64,750 words. This figure is calculated using industry-standard methods that consider genre-specific word density patterns, typical formatting and layout characteristics, and standard words-per-page ratios for published books.
This is an approximation — actual word count may vary based on font size, formatting, edition, and the presence of illustrations or charts.
Who is the author of A Distributed Pi-Calculus?
A Distributed Pi-Calculus was written by Matthew Hennessy.
When was A Distributed Pi-Calculus published?
The publication date for this specific edition is 2010. The original work may have been published on a different date.