• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Logics for Concurrency: Structure Versus Automata

Logics for Concurrency: Structure Versus Automata

Paperback

Series: Lecture Notes in Computer Science, Book 1043

General ComputersNetworking

ISBN10: 3540609156
ISBN13: 9783540609155
Publisher: Springer Nature
Published: Mar 6 1996
Pages: 268
Weight: 0.88
Height: 0.60 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

Networking