A robust graph-based approach to observational equivalence

Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge

We propose a new step-wise approach to proving observational equivalence, and in particular reasoning about fragility of observational equivalence. Our approach is based on what we…