Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Bisimulation > 145-156
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Bisimulation > 157-172
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Bisimulation > 173-190
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Bisimulation > 191-205
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Bisimulation > 206-220
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Bisimulation > 221-235