Artículos relacionados a A Distributed Pi-Calculus Hardback

A Distributed Pi-Calculus Hardback - Tapa dura

Hennessy

 
9780521873307: A Distributed Pi-Calculus Hardback

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Matthew Hennessy is a Professor of Computer Science at the Department of Informatics, University of Sussex. This is his 3rd book.

"Sobre este título" puede pertenecer a otra edición de este libro.