Equational Reasoning About Nondeterministic Processes.

Jayadev Misra

Browse the full PODC paper archive.