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)
maintained by Schloss Dagstuhl LZI at University of Trier