Bisimulation for Weakly Expressive Coalgebraic Modal Logics.

Zeinab Bakhtiari, Helle Hvid Hansen

Browse the full CALCO paper archive.