Ketil Stølen. Proving Total Correctness with Respect to a Fair (Shared-State) Parallel Language. In Cliff B. Jones, Roger C. Shaw, B. Tim Denvir, editors, 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992. Workshops in Computing, pages 320-341, Springer London, 1992. [doi]
@inproceedings{Stolen92-0,
title = {Proving Total Correctness with Respect to a Fair (Shared-State) Parallel Language},
author = {Ketil Stølen},
year = {1992},
doi = {10.1007/978-1-4471-3550-0_17},
url = {https://doi.org/10.1007/978-1-4471-3550-0_17},
researchr = {https://researchr.org/publication/Stolen92-0},
cites = {0},
citedby = {0},
pages = {320-341},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992},
editor = {Cliff B. Jones and Roger C. Shaw and B. Tim Denvir},
series = {Workshops in Computing},
publisher = {Springer London},
isbn = {978-3-540-19752-2},
}