Pages that link to "Item:Q2871827"

The following pages link to Simulations Up-to and Canonical Preorders (Q2871827):

Displaying 4 items.

• Ready to preorder: an algebraic and general proof (Q843212) (← links)
• (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
• On the Unification of Process Semantics: Equational Semantics (Q2805160) (← links)
• Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences (Q5415615) (← links)