Pages that link to "Item:Q703518"
From MaRDI portal
The following pages link to A hierarchy of probabilistic system types (Q703518):
Displaying 27 items.
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Value-passing CCS with noisy channels (Q428864) (← links)
- Differential privacy in probabilistic systems (Q529047) (← links)
- Quantitative Kleene coalgebras (Q532394) (← links)
- Probabilities, distribution monads, and convex categories (Q549198) (← links)
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Probabilistic systems coalgebraically: a survey (Q639648) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
- Bisimulation and cocongruence for probabilistic systems (Q2495642) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems (Q2873666) (← links)
- Approximating Labelled Markov Processes Again! (Q2888484) (← links)
- A Formalized Hierarchy of Probabilistic System Types (Q2945633) (← links)
- A coalgebraic view on decorated traces (Q2973240) (← links)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
- Termination in Convex Sets of Distributions (Q4558786) (← links)
- (Q4989395) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
- (Q5094151) (← links)
- (Q5111636) (← links)
- (Q5155671) (← links)
- Branching Bisimulation Congruence for Probabilistic Systems (Q5415667) (← links)
- (Q5875350) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
