0 Item

A Distributed Pi-Calculus - Matthew Hennessy

Instant online reading.
Don't wait for delivery!
Go digital and save!

A Distributed Pi-Calculus

By: Matthew Hennessy

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 $131.95

$127.95

or 4 interest-free payments of $31.99 with

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

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

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 E-Myth Revisited

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

Fundamentals of Software Architecture

A Modern Engineering Approach

Mobile Applications Development

With Python in Kivy Framework

Mobile Heritage

Practices, Interventions, Politics

Mobile Heritage

Practices, Interventions, Politics

Artificial Intelligence for Cyber Security and Industry 4.0

Security Relationship Management

Leveraging Marketing Concepts to Advance a Cybersecurity Program

Security Relationship Management

Leveraging Marketing Concepts to Advance a Cybersecurity Program

Password Logbook (Hip Floral)

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

Microsoft 365 For Dummies

For Dummies (Computer/Tech)

Learning Git

A Hands-On and Visual Guide to the Basics of Git

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Cybersecurity For Dummies

2nd edition

Dark Wire

The Incredible True Story of the Largest Sting Operation Ever

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Data Science from Scratch

First Principles with Python

Business Data Communications and Networking

14th Edition

Linux All-In-One For Dummies

For Dummies (Computer/Tech)

Cybersecurity All-in-One For Dummies

For Dummies

Cloud Computing

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

Cryptography and Network Security

8th Edition - Principles and Practice, Global Edition

Networking All-in-One For Dummies

8th edition

Intelligence-Driven Incident Response

Outwitting the Adversary

Network Security Assessment

Know Your Network : 3rd Edition

This product is categorised by