Skip to content

Contextual refinement of the Michael-Scott queue (proof pearl).

Simon Friis Vindum, Lars Birkedal

VenueBCPP
Year2021
ProceedingsCPP

Browse the full CPP paper archive.