Realizability of concurrent recursive programs. - Benedikt Bollig; Manuela-Lidia Grindei; Peter Habermehl (Formal Methods Syst. Des., 2018)