Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
A Distributed Pi-Calculus

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

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.

About the Author

Matthew Hennessy is a Professor of Computer Science at the Department of Informatics, University of Sussex. This is his 3rd book.
(HTML tags aren't allowed.)

Software Engineering: (Update) (8th Edition)
Software Engineering: (Update) (8th Edition)

The first edition of this textbook on software engineering was published more than twenty years ago. That edition was wJitten using a dumb terminal attached to an early minicomputer (a PDP-II) that probably cost about $50,000. I wrote this edition on a wireless laptop that cost less than $2,000 and is many times more powerful than...

Understanding ECMAScript 6: The Definitive Guide for JavaScript Developers
Understanding ECMAScript 6: The Definitive Guide for JavaScript Developers

ECMAScript 6 represents the biggest update to the core of JavaScript in the history of the language. In Understanding ECMAScript 6, expert developer Nicholas C. Zakas provides a complete guide to the object types, syntax, and other exciting changes that ECMAScript 6 brings to JavaScript. Every chapter is packed with example code that...

Entropy of Mind and Negative Entropy: A Cognitive and Complex Approach to Schizophrenia and its Treatment
Entropy of Mind and Negative Entropy: A Cognitive and Complex Approach to Schizophrenia and its Treatment
Over the years, my work has been guided, stimulated, challenged, motivated, and rewarded from two major sources. The fi rst source has been my students and collaborators. They have asked questions, posed problems, and challenged ideas. They have been, in many cases, collaborators in theory and conceptual developments. The second source of...

Flexible Rails: Flex 3 on Rails 2
Flexible Rails: Flex 3 on Rails 2
Flexible Rails is a unique, application-based guide for using Ruby on Rails 2 and Adobe Flex 3 to build rich Internet applications (RIAs). It is not an exhaustive Ruby on Rails or Flex reference. Instead, it is an extensive tutorial in which the reader builds multiple iterations of an interesting RIA using Flex and Rails together.

...

Optical Network Design and Implementation
Optical Network Design and Implementation

Multiservice optical networking has multiple applications in service provider and enterprise environments. To help you make the most of these applications, Optical Network Design and Implementation provides a complete reference of technology solutions for next-generation optical networks. The...

Starting an iPhone Application Business For Dummies
Starting an iPhone Application Business For Dummies

How to create a profitable, sustainable business developing and marketing iPhone apps

iPhone apps are hot; the average app is downloaded more than 30,000 times. If you have some great apps in mind, Starting an iPhone Application Business For Dummies will show you how to produce and market them effectively.

Starting an...

©2021 LearnIT (support@pdfchm.net) - Privacy Policy