Pages that link to "Item:Q3303913"

The following pages link to Up-To Techniques for Weighted Systems (Q3303913):

Displaying 4 items.

• (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
• Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
• Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
• Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)