Electronic Notes in Theoretical Computer Science, Volume 106

Volume 106, December 2004

Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS)
maintained by Schloss Dagstuhl LZI at University of Trier