Axiomatizing Operational Equivalence in the Presence of Side Effects

Ian A. Mason, Carolyn L. Talcott

Browse the full LICS paper archive.