Pages that link to "Item:Q1012122"
From MaRDI portal
The following pages link to (Bi)simulations up-to characterise process semantics (Q1012122):
Displaying 11 items.
- Ready to preorder: an algebraic and general proof (Q843212) (← links)
- Ready to preorder: the case of weak process semantics (Q975539) (← links)
- Finite axiom systems for testing preorder and De Simone process languages (Q1575273) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
- Axiomatizing weak simulation semantics over BCCSP (Q2453533) (← links)
- Bisimulation on speed: a unified approach (Q2503326) (← links)
- Simulations up-to and canonical preorders (extended abstract) (Q2871827) (← links)
- Axiomatizing Weak Ready Simulation Semantics over BCCSP (Q3105742) (← links)
- Foundations of Software Science and Computation Structures (Q5308460) (← links)
- Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences (Q5415615) (← links)
- Foundations of Software Science and Computational Structures (Q5705910) (← links)