Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq.

Raul Fervari, Francisco Trucco, Beta Ziliani

Browse the full TAP paper archive.