Confluence for Process Verification. Theoretical Computer Science (1996)

by J F Groote, M P A Sellink
Venue:Proceedings of FMCO 2003, volume 3188 of LNCS