From Rewrite Rules to Bisimulation Congruences (1998)

by Peter Sewell
Venue:THEORETICAL COMPUTER SCIENCE
Citations:72 - 2 self