Artículo: AMZ-3540609156

Logics for Concurrency: Structure versus Automata (Lecture Notes in Computer Science, 1043)

Format:

Paperback

Detalles del producto
Disponibilidad
En stock
Peso con empaque
0.48 kg
Devolución
No
Condición
Nuevo
Producto de
Amazon
Viaja desde
USA

Sobre este producto
  • This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. The various formalisms for expressing properties of concurrent systems, based on automata-theoretic techniques or structural properties, are studied in detail. Much attention is paid to the style of writing and complementary coverage of the relevant issues. Thus these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally, they are indispensable reading for anyone researching the area of distributed computing.
$125,53
44% OFF
$69,74

IMPORT EASILY

By purchasing this product you can deduct VAT with your RUT number

$125,53
44% OFF
$69,74

20% OFF adicional al pagar con Deuna

Envío gratis
Llega en 16 a 26 días hábiles
Con envío
Tienes garantia de entrega
Este producto viaja de USA a tus manos en