Jürgen Dingel. A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. Formal Asp. Comput., 14(2):123-197, 2002. [doi]
@article{Dingel02,
title = {A Refinement Calculus for Shared-Variable Parallel and Distributed Programming},
author = {Jürgen Dingel},
year = {2002},
doi = {10.1007/s001650200032},
url = {http://dx.doi.org/10.1007/s001650200032},
tags = {refinement, parallel programming, programming},
researchr = {https://researchr.org/publication/Dingel02},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {14},
number = {2},
pages = {123-197},
}