Realizability of concurrent recursive programs (2009)

by B Bollig, M-L Grindei, P Habermehl
Venue:FOSSACS 2009, volume 5504 of LNCS