In:
|
Electronic Notes in Theoretical Computer Science, (2015)Ghica, D.R. (ed.), MFPS XXXI : The 31st Conference on the Mathematical Foundations of Programming Semantics, Nijmegen, Netherlands, 22-25 June 2015, pp. 369-385
|
Journal title:
|
Electronic Notes in Theoretical Computer Science
|
Book title:
|
Ghica, D.R. (ed.), MFPS XXXI : The 31st Conference on the Mathematical Foundations of Programming Semantics, Nijmegen, Netherlands, 22-25 June 2015 |