Pages that link to "Item:Q1884900"
From MaRDI portal
The following pages link to Power simulation and its relation to traces and failures refinement (Q1884900):
Displayed 5 items.
- An analysis of refinement in an abortive paradigm (Q851133) (← links)
- CSP is a retract of CCS (Q960852) (← links)
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- Relational Decomposition (Q3087994) (← links)
- Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence (Q5187823) (← links)