Pages that link to "Item:Q1798795"
From MaRDI portal
The following pages link to Fibrational bisimulations and quantitative reasoning (Q1798795):
Displaying 8 items.
- Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- (Q5028440) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
- Fibrational bisimulations and quantitative reasoning: Extended version (Q5158369) (← links)
- Weighted and branching bisimilarities from generalized open maps (Q6091200) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)