A Distributed Pi-Calculus - No Information Available

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

A Distributed Pi-Calculus

By: No Information Available

Write A Review

Hardcover | 8 March 2007

At a Glance

Hardcover
278 Pages

Dimensions(cm)
24.77 x 17.78 x 1.91

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

Dark Wire

The Incredible True Story of the Largest Sting Operation Ever

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Grey Area

Dark Web Data Collection and the Future of OSINT

The E-Myth Revisited

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

Building Effective Privacy Programs

Cybersecurity from Principles to Practice

Essentials of Computer Networking

Theory and Applications of Error Correcting Codes

Dark Wire

The Incredible True Story of the Largest Sting Operation Ever

Fundamentals of Software Architecture

A Modern Engineering Approach

Cybersecurity All-in-One For Dummies

For Dummies

Liars and Outliers

Enabling the Trust that Society Needs to Thrive

Computer Networking, Global Edition

8th edition

The Site Reliability Workbook

Practical ways to implement SRE

Linux All-In-One For Dummies

For Dummies (Computer/Tech)

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Password Logbook (Hip Floral)

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

Keanu Reeves Is Not In Love With You

The Murky World of Online Romance Fraud

Crafting an Information Security Playbook

Business Data Communications and Networking

14th Edition

Cloud Computing

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

Hacking For Dummies

For Dummies (Computer/Tech)

A First Course in Digital Communications

From Chaos to Clarity

How Data Visualization can Save the World

Network Security Essentials 6ed

Applications and Standards, Global Edition

This product is categorised by