The following pages link to (Q2843720):
Displayed 15 items.
- Measurable stochastics for Brane calculus (Q418841) (← links)
- A hierarchy of probabilistic system types (Q703518) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- Stone coalgebras (Q703523) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- Final coalgebras for functors on measurable spaces (Q2495647) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
- (Q5111646) (← links)
- (Q5214815) (← links)
- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata (Q5418964) (← links)