Logics and Models of Concurrent Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Using Temporal Logic for Automatic Verification of Finite State Systems
3. Altmetric Badge
   Chapter 2 Resolution Modal Logics
4. Altmetric Badge
   Chapter 3 Tools for Verifying Network Protocols
5. Altmetric Badge
   Chapter 4 An Axiomatic Semantics of Concurrent Programming Languages
6. Altmetric Badge
   Chapter 5 In Transition From Global to Modular Temporal Reasoning about Programs
7. Altmetric Badge
   Chapter 6 Correctness Proofs of Distributed Termination Algorithms
8. Altmetric Badge
   Chapter 7 Script: A Communication Abstraction Mechanism and its Verification
9. Altmetric Badge
   Chapter 8 The Cooperation Test : a syntax-directed verification method
10. Altmetric Badge
    Chapter 9 Notes on Algebraic Calculi of Processes
11. Altmetric Badge
    Chapter 10 Deadlock Analysis in Networks of Communicating Processes
12. Altmetric Badge
    Chapter 11 A Paradigm for Detecting Quiescent Properties in Distributed Computations
13. Altmetric Badge
    Chapter 12 About Fair Asynchrony
14. Altmetric Badge
    Chapter 13 A Logic for the Specification and Proof of Controllable Processes of CCS
15. Altmetric Badge
    Chapter 14 Specification-Oriented Programming in TCSP
16. Altmetric Badge
    Chapter 15 Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems
17. Altmetric Badge
    Chapter 16 Towards a Theory of Knowledge and Ignorance: Preliminary Report
18. Altmetric Badge
    Chapter 17 On the Development of Reactive Systems