You are about to access our book library "Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings (Lecture Notes in Computer Science, 6859) full version" .