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