Contacto
Cómo comprar
Entrega
Guía de compras
Type Systems for Distributed Programs: Components and Sessions
Inglés
257 b
Política de devolución de 30 días
Clientes que también han comprado
/
Libro
19.59
€
/
Tapa blanda
53.09
€
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings. The main contributions of this book are twofold. i) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations. ii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus.
Sobre el libro
Inglés
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatarioTambién puede interesarle
/
Tapa blanda
15.39
€
/
Tapa blanda
17.89
€
/
Tapa dura
30.79
€
/
Tapa blanda
20.19
€
/
Tapa blanda
37.69
€
¡Hola! Soy Libroamiko, tu asesor de libros.
¿Cómo puedo ayudarte?