Logics for Concurrency

Name: Logics for Concurrency
Brand: Springer, Berlin
SKU: 9783540609155
Price: 50.07 EUR
Availability: InStock

Structure versus Automata

Autor: Faron Moller, Graham Birtwistle

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.07 €

This book presents five tutorial-style lectures on various approaches to the problem of verifying di...

Informácie o knihe

Autor

Faron Moller, Graham Birtwistle

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1996

Stránok

268

EAN

9783540609155

ISBN

3540609156

Enbook ID

01566096

Vydavateľ

Springer, Berlin

Hmotnosť

404

Rozmery

155 x 233 x 15

Kompletný popis

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 anemphasis 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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Logics for Concurrency

Structure versus Automata

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež