ePrints

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