A Distributed Pi-Calculus

By: No Information Available

Write A Review

Hardcover | 8 March 2007

At a Glance

Hardcover
278 Pages

Dimensions(cm)
25.4 x 18.2 x 1.9

Hardcover

RRP $141.95

$127.99

10%OFF

or 4 interest-free payments of $32.00 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Computer Networking & Communications Client-Server Networking Computer Science Mathematical Theory of Computation Programming & Scripting Languages

Preface	p. ix
Acknowledgements	p. xvii
Inductive principles	p. 1
Induction	p. 1
Coinduction	p. 4
Bisimulation equivalence	p. 6
The asynchronous Pi-Calculus	p. 10
The language aPi	p. 10
Reduction semantics for aPi	p. 16
An action semantics for aPi	p. 27
A coinductive behavioural equivalence for aPi	p. 34
Contextual equivalences	p. 37
An observational Its for aPi	p. 43
Justifying bisimulation equivalence contextually	p. 47
Questions	p. 52
Types for api	p. 55
Runtime errors	p. 55
Typechecking with simple types	p. 60
Properties of typechecking	p. 65
Types as capabilities	p. 72
Questions	p. 93
Types and behaviour in aPi	p. 96
Actions-in-context for aPi	p. 98
Typed bisimulation equivalence	p. 112
Questions	p. 122
A distributed asynchronous pi-calculus	p. 124
The language aDpi	p. 127
Access control types for aDpi	p. 139
Subject reduction for aDpi	p. 159
Type safety for aDpi	p. 169
Distributed consistency of local channels	p. 185
Questions	p. 191
Behavioural equivalences for aDpi	p. 194
Actions-in-context for aDpi	p. 195
Typed bisimulation equivalence for aDpi	p. 200
Describing bisimulations	p. 202
Servers and clients	p. 215
Modelling a firewall	p. 221
Typed contextual equivalences	p. 226
Justifying bisimulation equivalence contextually in aDpi	p. 230
Questions	p. 242
Sources	p. 244
List of figures	p. 248
Notation	p. 250
Bibliography	p. 254
Index	p. 257
Table of Contents provided by Ingram. All Rights Reserved.

A Distributed Pi-Calculus

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Networking & Communications

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Careless People

A story of where I used to work

Cisco Networking All-in-One For Dummies

Model-Driven Power System Automation

An Object-Oriented Approach Based on IEC 61850

Next-Generation Technologies in Cloud Computing

From AI and Security to Sustainability

Security Standardisation Research

10th International Conference, SSR 2025, Passau, Germany, December 4â"5, 2025, Proceedings

Essentials of Computer Networking

Network Programmability and Automation

2nd Edition - Skills for the Next-Generation Network Engineer

Computer Networking, Global Edition

8th edition

ISC2 CISSP Certified Information Systems Security Professional Official Study Guide & Practice Tests Bundle

Sybex Study Guide

Password Logbook (Hip Floral)

Keep Track of Usernames, Passwords, Web Addresses in One Easy and Organized Location

Cybersecurity All-in-One For Dummies

For Dummies

Container Security

Fundamental Technology Concepts That Protect Cloud Native Applications

The E-Myth Revisited

Why Most Small Businesses Don't Work and What to Do About It

Hacking For Dummies

For Dummies (Computer/Tech)

Liars and Outliers

Enabling the Trust that Society Needs to Thrive

Microsoft Teams For Dummies

For Dummies (Computer/Tech)

Networking All-in-One For Dummies

For Dummies (Computer/Tech)

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Cloud Computing

2nd Edition - Concepts, Technology, Security, and Architecture

Cryptography and Network Security

8th Edition - Principles and Practice, Global Edition

Fundamentals of Wireless Communication

A First Course in Digital Communications

Troubleshooting PCs For Dummies

For Dummies (Computer/Tech)

This product is categorised by