Pages that link to "Item:Q2373744"
From MaRDI portal
The following pages link to New up-to techniques for weak bisimulation (Q2373744):
Displaying 7 items.
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- Unique solutions of contractions, CCS, and their HOL formalisation (Q2216120) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Up-to Techniques for Branching Bisimilarity (Q3297777) (← links)
- (Q3384919) (← links)
- Confluence by Decreasing Diagrams (Q3522026) (← links)
- Preorder-constrained simulations for program refinement with effects (Q6666773) (← links)
