- Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi, editors, Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, MFPS 2009, Oxford, UK, April 3-7, 2009. Volume 249 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009.