Verification of Sequential and Concurrent Programs

Overview of attention for book

Cover of 'Verification of Sequential and Concurrent Programs'

Table of Contents

Attention for Chapter 5: Disjoint Parallel Programs

Altmetric Badge

Citations

dimensions_citation: 133 Dimensions

Summary Dimensions citations

So far, Dimensions has found 133 publications that cite this research output.

133

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

Three Early Formal Approaches to the Verification of Concurrent Programs

Article in Minds and Machines (January 2023)

Decidability of Resilience for Well-Structured Graph Transformation Systems

Book chapter (June 2022)

A Proof System for HRML with Extended Hoare Logic

Conference proceeding (August 2021)

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

Click here to find out how to access more activity.