Pages that link to "Item:Q6096733"
From MaRDI portal
The following pages link to Bisimulations and bisimulation games between Verbrugge models (Q6096733):
Displaying 5 items.
- Games and bisimulations for intuitionistic first-order Kripke models (Q2062207) (← links)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
- Bisimulations and bisimulation quotients of generalized Veltman models (Q3061279) (← links)
- Bisimulations between generalized Veltman models and Veltman models (Q3520227) (← links)
- Game equivalence and expressive power of game description languages: a bisimulation approach (Q5878291) (← links)