A Distributed Pi-Calculus (Bog, Hardback, Engelsk) af Matthew (University of Sussex) Hennessy

A Distributed Pi-Calculus

(Bog, Hardback, Engelsk)

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

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