Pages that link to "Item:Q3303913"
From MaRDI portal
The following pages link to Up-To Techniques for Weighted Systems (Q3303913):
Displaying 6 items.
- (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Systems with weighted components (Q2483460) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
- Graded monads and behavioural equivalence games (Q6649498) (← links)