Distributed pi-calculus, a
Auteur :
Hennessy, Matthew
Éditeur :
Cambridge University Press
ISBN :
9780521873307
Date de publication :
8 mars 2007
Dimensions :
25,2 x 17,6 x 1,9 cm
Poids :
631 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.