↓ 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 10: Deadlock Analysis in Networks of Communicating Processes
Altmetric Badge

Citations

dimensions_citation
39 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Deadlock Analysis in Networks of Communicating Processes
Chapter number 10
Book title
Logics and Models of Concurrent Systems
Published by
Springer Berlin Heidelberg, January 1985
DOI 10.1007/978-3-642-82453-1_10
Book ISBNs
978-3-64-282455-5, 978-3-64-282453-1
Authors

S. D. Brookes, A. W. Roscoe, Brookes, S. D., Roscoe, A. W.

Editors

Krzysztof R. Apt

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 50%
Researcher 1 50%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.