Relating Coalgebraic Notions of Bisimulation

Sam Staton. Relating Coalgebraic Notions of Bisimulation. In Alexander Kurz, Marina Lenisa, Andrzej Tarlecki, editors, Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Volume 5728 of Lecture Notes in Computer Science, pages 191-205, Springer, 2009. [doi]

Abstract

Abstract is missing.