Pages that link to "Item:Q608349"
From MaRDI portal
The following pages link to Incompleteness of relational simulations in the blocking paradigm (Q608349):
Displaying 5 items.
- Introducing extra operations in refinement (Q736913) (← links)
- Relational concurrent refinement. III: Traces, partial relations and automata (Q736917) (← links)
- Guarded Operations, Refinement and Simulation (Q2994496) (← links)
- Modelling Divergence in Relational Concurrent Refinement (Q3605466) (← links)
- More Relational Concurrent Refinement: Traces and Partial Relations (Q5403469) (← links)