Relating Coalgebraic Notions of Bisimulation
Sam Staton
Book Title
Algebra and Coalgebra in Computer Science‚ Third International Conference‚ CALCO 2009‚ Udine‚ Italy‚ September 7−10‚ 2009. Proceedings
Editor
Alexander Kurz and Marina Lenisa and Andrzej Tarlecki
Pages
191–205
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
5728
Year
2009