Session Coupledsim_Contrasim

View theory dependencies
View document

Theories

Transition_Systems
Weak_Transition_Systems
Simple_Game
Strong_Relations
Weak_Relations
Contrasimulation
Coupled_Simulation
Coupledsim_Game_Delay
Coupledsim_Fixpoint_Algo_Delay
Contrasim_Word_Game
Contrasim_Set_Game
HM_Logic_Infinitary
Weak_HML_Contrasimulation
Tau_Sinks