Skip to content

From Rewrite to Bisimulation Congruences.

Peter Sewell

VenueBCONCUR
Year1998
ProceedingsCONCUR

Browse the full CONCUR paper archive.