Pages that link to "Item:Q2495641"
From MaRDI portal
The following pages link to A modular approach to defining and characterising notions of simulation (Q2495641):
Displaying 7 items.
- Two-thirds simulation indexes and modal logic characterization (Q352098) (← links)
- On logics for coalgebraic simulation (Q2847807) (← links)
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation (Q3178292) (← links)
- (Q4994701) (← links)
- (Q5094149) (← links)
- ArbiLoMod, a Simulation Technique Designed for Arbitrary Local Modifications (Q5350215) (← links)
- Theory of Cryptography (Q5711669) (← links)