Pages that link to "Item:Q2843720"
From MaRDI portal
The following pages link to A hierarchy of probabilistic system types (Q2843720):
Displaying 19 items.
- Measurable stochastics for Brane calculus (Q418841) (← links)
- Probabilistic systems coalgebraically: a survey (Q639648) (← 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 \(\pi\)-calculus and event structures (Q2870289) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
- (Q5214815) (← links)
- Validation of Stochastic Systems (Q5325833) (← links)
- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata (Q5418964) (← links)
- Distributed coalgebraic partition refinement (Q6535613) (← links)
- Generic partition refinement and weighted tree automata (Q6535955) (← links)