2015, Article in monograph or in proceedings (Ghica, D.R. (ed.), MFPS XXXI : The 31st Conference on the Mathematical Foundations of Programming Semantics, 22-25 June 2015, Nijmegen, Netherlands, pp. 239-253)
2015, Article in monograph or in proceedings (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)
2011, Article in monograph or in proceedings (Coecke, B.; Panangaden, P.; Selinger, P. (ed.), Proceedings of the 6th International Workshop on Quantum Physics and Logic (QPL 2009), pp. 79-103)