Electronic Notes in Theoretical Computer Science, Volume 308

Volume 308, October 2014

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX)
maintained by Schloss Dagstuhl LZI at University of Trier