Simulations and Bisimulations for Coalgebraic Modal Logics.

Daniel Gorn, Lutz Schrder

Browse the full CALCO paper archive.