Three Early Formal Approaches to the Verification of Concurrent Programs
Article in Minds and Machines (January 2023)
The most recent citing publications are shown below. View all 133 publications that cite this research output on Dimensions.
Article in Minds and Machines (January 2023)
Book chapter (June 2022)
Conference proceeding (August 2021)