Uniform confluence in concurrent computation (2000)

by J Niehren
Venue:Journal of Functional Programming