From ::::T::::-Coalgebras to Filter Structures and Transition Systems

H. Peter Gumm. From ::::T::::-Coalgebras to Filter Structures and Transition Systems. In José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan J. M. M. Rutten, editors, Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings. Volume 3629 of Lecture Notes in Computer Science, pages 194-212, Springer, 2005. [doi]

Abstract

Abstract is missing.