Observational Coalgebras and Complete Sets of Co-operations (2008)

by Clemens Kupke , Jan Rutten
Citations:3 - 0 self