Bemærk: Kan ikke leveres før jul.
Forventes på lager: 08-03-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.
| Forlag | Cambridge University Press |
| Forfatter | Matthew (University of Sussex) Hennessy |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 08-03-2007 |
| Første udgivelsesår | 2007 |
| Illustrationer | Worked examples or Exercises |
| Originalsprog | United Kingdom |
| Sideantal | 278 |
| Indbinding | Hardback |
| Forlag | Cambridge University Press |
| Sideoplysninger | 278 pages, Worked examples or Exercises |
| Mål | 254 x 182 x 19 |
| ISBN-13 / EAN-13 | 9780521873307 |