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)
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)
2008, Article in monograph or in proceedings (Adámek, J.; Kupke, C. (ed.), Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science (CMCS 2008), pp. 131-152)
2008, Article in monograph or in proceedings (Echahed, R. (ed.), Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), pp. 45-63)