Logics for Concurrency
Structure versus Automata
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
74.89 €
Produktdetails
Produktinformationen zu „Logics for Concurrency “
Klappentext zu „Logics for Concurrency “
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.
Inhaltsverzeichnis zu „Logics for Concurrency “
Summary of Contents- Specification Structures and Propositions-as-Types for
Concurrency
- Automated Temporal Reasoning about Reactive Systems
- Decidability Results in Automata and Process Theory
- Modal and Temporal Logics for Processes
- An Automata-Theoretic Approach to Linear Temporal Logic
Bibliographische Angaben
- 1996, 1996, 268 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Ed. by Faron Moller and Graham Birtwistle
- Herausgegeben: Graham Birtwistle, Faron Moller
- Verlag: Springer
- ISBN-10: 3540609156
- ISBN-13: 9783540609155
- Erscheinungsdatum: 06.03.1996
Sprache:
Englisch
Kommentar zu "Logics for Concurrency"
0 Gebrauchte Artikel zu „Logics for Concurrency“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Logics for Concurrency".
Kommentar verfassen