Uniform confluence in concurrent computation

Joachim Niehren. Uniform confluence in concurrent computation. Journal of Functional Programming, 10(5):453-499, 2000.

Abstract

Abstract is missing.