www.elsevier.com/locate/entcs Observational Coalgebras and Complete Sets of Co-operations

by Clemens Kupke , Jan Rutten