Pages that link to "Item:Q1960528"
From MaRDI portal
The following pages link to Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528):
Displaying 50 items.
- Coalgebras for fuzzy transition systems (Q276401) (← links)
- Identifying all preorders on the subdistribution monad (Q283773) (← links)
- Testing probabilistic equivalence through reinforcement learning (Q383369) (← links)
- Structural operational semantics for stochastic and weighted transition systems (Q383372) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Measurable stochastics for Brane calculus (Q418841) (← links)
- Approximating Markov processes through filtration (Q442296) (← links)
- A logical duality for underspecified probabilistic systems (Q532396) (← links)
- Fuzzy Prokhorov metric on the set of probability measures (Q549342) (← links)
- On the final sequence of a finitary set functor (Q557796) (← links)
- Measuring the confinement of probabilistic systems (Q557887) (← links)
- Metrics for labelled Markov processes (Q596029) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← 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)
- Idempotent probability measures on ultrametric spaces (Q924245) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
- Stochastic coalgebraic logic (Q1049890) (← links)
- Coalgebraic logic (Q1295427) (← links)
- Approximating labelled Markov processes (Q1398379) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
- Approximate relational Hoare logic for continuous random samplings (Q1744393) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
- Metrization of free groups on ultrametric spaces (Q2268630) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Reduction semantics in Markovian process algebra (Q2413025) (← links)
- Expressiveness of probabilistic modal logics: a gradual approach (Q2417857) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Bisimulation relations for weighted automata (Q2481957) (← links)
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- Bisimulation and cocongruence for probabilistic systems (Q2495642) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- Bisimulation for labelled Markov processes (Q2506488) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- Environmental bisimulations for probabilistic higher-order languages (Q2828300) (← links)
- GSOS for probabilistic transition systems (extended abstract) (Q2842551) (← links)
- A hierarchy of probabilistic system types (Q2843720) (← links)
- Approximating Labelled Markov Processes Again! (Q2888484) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory (Q2912693) (← links)
- A Formalized Hierarchy of Probabilistic System Types (Q2945633) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
