Electronic Notes in Theoretical Computer Science, Volume 155

Volume 155, May 2006

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXI)
maintained by Schloss Dagstuhl LZI at University of Trier