Realizability of Concurrent Recursive Programs.

Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl

Browse the full FOSSACS paper archive.