Pages that link to "Item:Q2871848"
From MaRDI portal
The following pages link to Constrained simulations, nested simulation semantics and counting bisimulations (Q2871848):
Displaying 4 items.
- Fixpoint semantics and simulation (Q1575253) (← links)
- On simulation, subtyping and substitutability in sequential object systems (Q1906038) (← links)
- Neighbourhood Contingency Bisimulation (Q5224490) (← links)
- Preorder-constrained simulations for program refinement with effects (Q6666773) (← links)