Correctness of Concurrent Processes

Ernst-RĂ¼diger Olderog. Correctness of Concurrent Processes. Theoretical Computer Science, 80(2):263-288, 1991.

Abstract

Abstract is missing.