Travelled to:
1 × United Kingdom
Collaborated with:
B.Bollig P.Habermehl
Talks about:
program (1) concurr (1) recurs (1) realiz (1)
Person: Manuela-Lidia Grindei
DBLP: Grindei:Manuela=Lidia
Contributed to:
Wrote 1 papers:
- FoSSaCS-2009-BolligGH #concurrent #recursion #source code
- Realizability of Concurrent Recursive Programs (BB, MLG, PH), pp. 410–424.