Uniform Confluence in Concurrent Computation (Unabridged)

Autor: Joachim Niehren

Herausgeber:

This is the long version of \URLhttp://www.ps.uni-sb.de/Papers/abstracts/Uniform:2000.html.