↓ Skip to main content
What is this page? Embed badge

Logics and Models of Concurrent Systems

Overview of attention for book
Cover of '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
Attention for Chapter 17: On the Development of Reactive Systems
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
39 Dimensions

Readers on

mendeley
123 Mendeley
Summary X Dimensions citations

This page is provided by Altmetric.