Joachim Niehren. Uniform confluence in concurrent computation. Journal of Functional Programming, 10(5):453-499, 2000.
@article{Niehren00,
title = {Uniform confluence in concurrent computation},
author = {Joachim Niehren},
year = {2000},
researchr = {https://researchr.org/publication/Niehren00},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {10},
number = {5},
pages = {453-499},
}