Semantics and Proof Rules for Coroutine Hierarchies in Block-Structured Programming Languages.

Peter Raulefs

Browse the full MFCS paper archive.