Willkommen, schön sind Sie da!
Logo Ex Libris

Logics for Concurrency

  • Kartonierter Einband
  • 282 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapt... Weiterlesen
20%
100.00 CHF 80.00
Sie sparen CHF 20.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

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

Produktinformationen

Titel: Logics for Concurrency
Untertitel: Structure versus Automata
Editor:
EAN: 9783540609155
ISBN: 3540609156
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Programmiersprachen
Anzahl Seiten: 282
Gewicht: 432g
Größe: H235mm x B155mm x T15mm
Jahr: 1996
Untertitel: Englisch
Auflage: 1996

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"