A Distributed Pi-Calculus Book Information:

ystems 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.

• Book Type/Genre :

Computers & Internet

• Book Binding :

Hardcover

• Language :

English

• Number of Pages :

Page count varies on each edition/reprint

• ISBN - 10 :

• A Distributed Pi-Calculus Published On :

2007

• Resource:

Computers & Internet, Programming & Software Development Book is recommended for Students, Teachers, Graduates, Professionals, and all bibliophiles

Disclaimer:

• A Distributed Pi-Calculus Book is not for reading online or for free download in PDF or eBook format.
• Table of Contents, Index, Syllabus, summary and image of A Distributed Pi-Calculus book may be of a different edition or of the same title.
• The Price of this product may change due to the reprinting of the book or by the publisher. For imported books, the price may change frequently due to exchange rates.
• A Distributed Pi-Calculus by Matthew Hennessy Book reviews and ratings are trustworthy and the product description given above is true to the best. The product description posted here by sellers would be updated based on the Customer's feedback, if the details are not accurate.
• The customers who have bought this product can write your best reviews and suggest the product if the item's price is low which would be helpful for the buyers interested to purchase. Read Best & Top Books related to this item
• The above Bibliographic information is specific to this book which is being listed for sale. Any Colophons printed at the end of the book is owned by book author and publisher
• Special offers, deals & discounts on this product are subject to the terms and conditions owned by the website