Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever Dams Dennis Heftet / 2010 / Engelsk
