A Calculus of Transition Systems (towards Universal Coalgebra) (1995)

by J. J. M. M. Rutten, Issn -x
Venue:In Alban Ponse, Maarten de Rijke, and Yde Venema, editors, Modal Logic and Process Algebra, CSLI Lecture Notes No