Confluence for Process Verification.

Jan Friso Groote, M. P. A. Sellink

Browse the full CONCUR paper archive.