Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Correction: Three Early Formal Approaches to the Verification of Concurrent Programs

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

© The Author(s) 2025.In the paragraph beginning ‘Manna and Ashcroft concede that…’ under section ‘Ashcroft and Manna (Stanford 1969/1970)’ in this article, the formula ‘(m + n)!/(m! + n!)’ should have read ‘(m + n)!/(m! * n!)’. The original article has been corrected.

Publication metadata

Author(s): Jones CB

Publication type: Note

Publication status: Published

Journal: Minds and Machines

Year: 2025

Volume: 35

Issue: 45

Online publication date: 21/10/2025

Acceptance date: 02/04/2018

ISSN (print): 0924-6495

ISSN (electronic): 1572-8641

Publisher: Springer Science and Business Media B.V.

URL: https://doi.org/10.1007/s11023-025-09746-9

DOI: 10.1007/s11023-025-09746-9

Share