Data & IT

A Distributed Pi-Calculus

Matthew Hennessy • Matthew Hennessy

Inbunden

1289:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

278 sidor
2007

This book proposes a formal mathematical language, a distributed pi-calculus called Dpi, for describing, at varying levels of abstraction, 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.

Författare: Matthew Hennessy, Matthew Hennessy
Format: Inbunden
ISBN: 9780521873307
Språk: Engelska
Antal sidor: 278
Utgivningsdatum: 2007-03-08
Förlag: Cambridge University Press