A Distributed Pi-Calculus

A Distributed Pi-Calculus

by Matthew Hennessy
     
 

This book proposes a formal mathematical language for describing the behaviour of mobile agents in a distributed world.See more details below

Overview

This book proposes a formal mathematical language for describing the behaviour of mobile agents in a distributed world.

Product Details

ISBN-13:
9780521873307
Publisher:
Cambridge University Press
Publication date:
02/28/2007
Pages:
278
Product dimensions:
6.85(w) x 9.72(h) x 0.75(d)

Table of Contents

1. Introduction; 2. Inductive principles; 3. The asynchronous Pi-Calculus; 4. Types for API; 5. Types and behaviour in API; 6. A distributed asynchronous Pi-Calculus; Behavioural Equivalences for ADPI; Sources; List of figures; Notation.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >