Eric Violard, Guy-René Perrin. PEI: A language and its refinement calculus for parallel programming. Parallel Computing, 18(10):1167-1184, 1992.
@article{ViolardP92,
title = {PEI: A language and its refinement calculus for parallel programming},
author = {Eric Violard and Guy-René Perrin},
year = {1992},
tags = {programming languages, refinement, parallel programming, programming},
researchr = {https://researchr.org/publication/ViolardP92},
cites = {0},
citedby = {0},
journal = {Parallel Computing},
volume = {18},
number = {10},
pages = {1167-1184},
}