Pages that link to "Item:Q3584948"
From MaRDI portal
The following pages link to Generic Forward and Backward Simulations II: Probabilistic Simulation (Q3584948):
Displaying 8 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Identifying all preorders on the subdistribution monad (Q283773) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- A calculus for generic, QoS-aware component composition (Q1949090) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- (Q4585069) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
