Electronic Notes in Theoretical Computer Science, Volume 218

Volume 218, October 2008

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)
a service of Schloss Dagstuhl - Leibniz Center for Informatics