Forward-Reverse Observational Equivalences in CCSK.

Ivan Lanese, Iain Phillips

Browse the full RC paper archive.