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

Program Design Calculi

Overview of attention for book
Cover of 'Program Design Calculi'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Refinement Calculus
  3. Altmetric Badge
    Chapter 2 Refinement Calculus, Lattices and Higher Order Logic
  4. Altmetric Badge
    Chapter 3 Refinement of Parallel and Reactive Programs
  5. Altmetric Badge
    Chapter 4 Data Refinement and the Transform
  6. Altmetric Badge
    Chapter 5 (Inter-)Action Refinement: The Easy Way
  7. Altmetric Badge
    Chapter 6 Algebra and Models
  8. Altmetric Badge
    Chapter 7 The Unification of Three Calculi
  9. Altmetric Badge
    Chapter 8 Monads for functional programming
  10. Altmetric Badge
    Chapter 9 How Hard is it to Reason about Propositional Programs?
  11. Altmetric Badge
    Chapter 10 A Temporal Proof Methodology for Reactive Systems
  12. Altmetric Badge
    Chapter 11 Timed Process Algebras: A Tutorial
  13. Altmetric Badge
    Chapter 12 The Semantics of Pure Esterel
Attention for Chapter 6: Algebra and Models
Altmetric Badge

Citations

dimensions_citation
15 Dimensions
Summary Dimensions citations
So far, Dimensions has found 15 publications that cite this research output.

15

The most recent citing publications are shown below. View all 15 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.