Confluence for process verification (1996)

by J F Groote, M P A Sellink
Venue:Theor. Comput. Sci