Pages that link to "Item:Q975539"
From MaRDI portal
The following pages link to Ready to preorder: the case of weak process semantics (Q975539):
Displaying 9 items.
- A weakest precondition semantics for communicating processes (Q789174) (← links)
- Ready to preorder: an algebraic and general proof (Q843212) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- Finite axiom systems for testing preorder and De Simone process languages (Q1575273) (← links)
- Axiomatizing weak simulation semantics over BCCSP (Q2453533) (← links)
- Simulations up-to and canonical preorders (extended abstract) (Q2871827) (← links)
- Axiomatizing Weak Ready Simulation Semantics over BCCSP (Q3105742) (← links)
- On Finite Bases for Weak Semantics: Failures Versus Impossible Futures (Q3599070) (← links)