Electronic Notes in Theoretical Computer Science, Volume 173

Volume 173, April 2007

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIII)
maintained by Schloss Dagstuhl LZI at University of Trier