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

Abstraction, Refinement and Proof for Probabilistic Systems

Overview of attention for book
Cover of 'Abstraction, Refinement and Proof for Probabilistic Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction to pGCL : Its logic and its model
  3. Altmetric Badge
    Chapter 2 Probabilistic loops: Invariants and variants
  4. Altmetric Badge
    Chapter 3 Case studies in termination: Choice coordination, the dining philosophers, and the random walk
  5. Altmetric Badge
    Chapter 4 Probabilistic data refinement: The steam boiler
  6. Altmetric Badge
    Chapter 5 Theory for the demonic model
  7. Altmetric Badge
    Chapter 6 The geometry of probabilistic programs
  8. Altmetric Badge
    Chapter 7 Proved rules for probabilistic loops
  9. Altmetric Badge
    Chapter 8 Infinite state spaces, angelic choice and the transformer hierarchy
  10. Altmetric Badge
    Chapter 9 Quantitative temporal logic: An introduction
  11. Altmetric Badge
    Chapter 10 The quantitative algebra of qTL
  12. Altmetric Badge
    Chapter 11 The quantitative modal μ -calculus, and gambling games
Attention for Chapter 3: Case studies in termination: Choice coordination, the dining philosophers, and the random walk
Altmetric Badge

Citations

dimensions_citation
189 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 189 publications that cite this research output.

189

The most recent citing publications are shown below. View all 189 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.