From rewrite rules to bisimulation congruences (1998)

by P Sewell
Venue:Proceedings of the 9th International Conference on Concurrency Theory (CONCUR’98), volume 1466 of LNCS