From rewrite rules to bisimulation congruences (0)

by Peter Sewell
Venue:Theoretical Computer Science