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

Verification of Sequential and Concurrent Programs

Overview of attention for book
Cover of 'Verification of Sequential and Concurrent Programs'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Preliminaries
  4. Altmetric Badge
    Chapter 3 Deterministic Programs
  5. Altmetric Badge
    Chapter 4 Nondeterministic Programs
  6. Altmetric Badge
    Chapter 5 Disjoint Parallel Programs
  7. Altmetric Badge
    Chapter 6 Parallel Programs with Shared Variables
  8. Altmetric Badge
    Chapter 7 Parallel Programs with Synchronization
  9. Altmetric Badge
    Chapter 8 Distributed Programs
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
133 Dimensions

Readers on

mendeley
58 Mendeley
Summary Wikipedia Dimensions citations
So far, Altmetric has seen 1 Wikipedia article.

This page shows the most recent Wikipedia articles that mention this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.