A Distributed Pi-Calculus
Matthew Hennessy
mar 2007 · Cambridge University Press
5,0star
1 reseñareport
eBook
19
Páginas
reportLas valoraciones y las reseñas no se verifican. Más información
Información sobre este eBook
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing 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. A mathematical theory of the behaviour of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this theory can be used to develop verification techniques for guaranteeing the behavior of distributed agents. The text is accessible to computer scientists with a minimal background in discrete mathematics. It contains an elementary account of the pi-calculus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles.
Valoraciones y reseñas
5,0
1 reseña
Acerca del autor
Matthew Hennessy is a Professor of Computer Science at the Department of Informatics, University of Sussex. This is his 3rd book.
Valorar este eBook
Danos tu opinión.
Información sobre cómo leer
Smartphones y tablets
Instala la aplicación Google Play Libros para Android y iPad/iPhone. Se sincroniza automáticamente con tu cuenta y te permite leer contenido online o sin conexión estés donde estés.
Ordenadores portátiles y de escritorio
Puedes usar el navegador web del ordenador para escuchar audiolibros que hayas comprado en Google Play.
eReaders y otros dispositivos
Para leer en dispositivos de tinta electrónica, como los lectores de libros electrónicos de Kobo, es necesario descargar un archivo y transferirlo al dispositivo. Sigue las instrucciones detalladas del Centro de Ayuda para transferir archivos a lectores de libros electrónicos compatibles.
