Opening book details…
Can I read Logics for Concurrency: Structure versus Automata (Lecture Notes in Computer Science, 1043) on EtoBox?
Logics for Concurrency: Structure versus Automata (Lecture Notes in Computer Science, 1043) by Faron Moller, Graham Birtwistle (eds.) is a computer science book available to read on EtoBox.
What is Logics for Concurrency: Structure versus Automata (Lecture Notes in Computer Science, 1043) about?
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 studi
Who reads Logics for Concurrency: Structure versus Automata (Lecture Notes in Computer Science, 1043)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Faron Moller, Graham Birtwistle (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1996
- Language
- EN
- ISBN
- 9783540496755
- Category
- computer science
- Subjects
- Mathematics, Engineering, Technology
- Updated
- 2026-03-25
More by Faron Moller, Graham Birtwistle (eds.)
Browse all works by Faron Moller, Graham Birtwistle (eds.)
Similar books
- Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science (2500)) — Berndt Farwer (auth.), Erich Grädel, Wolfgang Thomas, Wilke (2002)
- Logics in AI: European Workshop Jelia '92, Berlin, Germany, September 7-10, 1992. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific) — Dimiter Vakarelov (auth.), D. Pearce, G. Wagner (1992)
- CONCUR '96: Concurrency Theory: 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings (Lecture Notes in Computer Science, 1119) — Samson Abramsky (auth.), Ugo Montanari, Vladimiro Sassone (1996)
- Automata, Languages and Programming: 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings (Lecture Notes in Computer Science) — L. Lovász (auth.), Wilfried Brauer (1985)
- Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science (1633)) — David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (1999)
- Transactions on Petri Nets and Other Models of Concurrency IV (Lecture Notes in Computer Science, 6550) — Jörg Desel (auth.), Kurt Jensen, Susanna Donatelli, Maciej Koutny (2010)
