Realizability of concurrent recursive programs (2009)

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