Pages that link to "Item:Q2871827"
From MaRDI portal
The following pages link to Simulations up-to and canonical preorders (extended abstract) (Q2871827):
Displaying 7 items.
- Ready to preorder: an algebraic and general proof (Q843212) (← links)
- Ready to preorder: the case of weak process semantics (Q975539) (← links)
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- Finite axiom systems for testing preorder and De Simone process languages (Q1575273) (← links)
- Simulation preorder over simple process algebras (Q1854513) (← links)
- On the unification of process semantics: equational semantics (Q2805160) (← links)
- Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences (Q5415615) (← links)