Pages that link to "Item:Q931436"
From MaRDI portal
The following pages link to Data refinement and singleton failures refinement are not equivalent (Q931436):
Displaying 6 items.
- Incompleteness of relational simulations in the blocking paradigm (Q608349) (← links)
- Introducing extra operations in refinement (Q736913) (← links)
- Relational concurrent refinement. III: Traces, partial relations and automata (Q736917) (← links)
- Relational Concurrent Refinement: Automata (Q2994488) (← links)
- Modelling Divergence in Relational Concurrent Refinement (Q3605466) (← links)
- More Relational Concurrent Refinement: Traces and Partial Relations (Q5403469) (← links)
