Kleene, Rabin, and Scott Are Available.

Jochen Hoenicke, Roland Meyer, Ernst-Rdiger Olderog

Browse the full CONCUR paper archive.