Transfinite Step-Indexing: Decoupling Concrete and Logical Steps.

Kasper Svendsen, Filip Sieczkowski, Lars Birkedal

Browse the full ESOP paper archive.