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 $79.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

Careless People

A story of where I used to work

Cisco Networking All-in-One For Dummies

The E-Myth Revisited

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

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Multi-Robot Collaboration

The Enabling Technologies and Their Relevance in Today's Industrial Landscape

Theory and Technique for Low Earth Orbit Satellite Internet of Things

Machine and Computing Technologies for Sustainable Development

Proceedings of MCT4SD 2025, Volume 3

Dark Wire

The Incredible True Story of the Largest Sting Operation Ever

Essentials of Computer Networking

AI Agents in Action, Second Edition

Crypto Wars

Faked Deaths, Missing Billions and Industry Disruption

Cybersecurity All-in-One For Dummies

For Dummies

The Art of Invisibility

World's Most Famous Hacker Teaches You How to Be Safe in the Age of Big Brother and Big Data

Microsoft Teams For Dummies

For Dummies (Computer/Tech)

Hacking For Dummies

For Dummies (Computer/Tech)

Password Logbook (Hip Floral)

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

Network Programmability and Automation

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

CompTIA SecAI+ Study Guide

Exam CY0-001

Liars and Outliers

Enabling the Trust that Society Needs to Thrive

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

Sybex Study Guide

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Cryptography and Network Security

8th Edition - Principles and Practice, Global Edition

Cloud Computing

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

Fundamentals of Wireless Communication

This product is categorised by