Pages that link to "Item:Q2978531"

The following pages link to Behavioral Metrics via Functor Lifting (Q2978531):

Displaying 10 items.

• Long-term values in Markov decision processes, (co)algebraically (Q1798787) (← links)
• Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
• A note on distances between probabilistic and quantum distributions (Q2130591) (← links)
• Limits in categories of Vietoris coalgebras (Q3119464) (← links)
• Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
• (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455) (← links)
• Bisimulation as a logical relation (Q5058364) (← links)
• (Q5109515) (← links)
• The <i> ℓ ^p </i> -metrization of functors with finite supports (Q6087848) (← links)
• Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)