Pages that link to "Item:Q5158369"
From MaRDI portal
The following pages link to Fibrational bisimulations and quantitative reasoning: Extended version (Q5158369):
Displayed 4 items.
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Kantorovich functors and characteristic logics for behavioural distances (Q6091180) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)