Pages that link to "Item:Q1770428"
From MaRDI portal
The following pages link to A behavioural pseudometric for probabilistic transition systems (Q1770428):
Displayed 46 items.
- A pseudometric in supervisory control of probabilistic discrete event systems (Q351739) (← links)
- Value-passing CCS with noisy channels (Q428864) (← links)
- Approximating Markov processes through filtration (Q442296) (← links)
- Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
- A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
- Approximation in quantale-enriched categories (Q536049) (← links)
- Fuzzy Prokhorov metric on the set of probability measures (Q549342) (← links)
- The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
- Approximating Markovian testing equivalence (Q764291) (← links)
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- On metrics for probabilistic systems: definitions and algorithms (Q971582) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity (Q1004387) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Learning deterministic probabilistic automata from a model checking perspective (Q1689574) (← links)
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems (Q1697986) (← links)
- Polynomial-time algorithms for computing distances of fuzzy transition systems (Q1749476) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
- De Bakker-Zucker processes revisited (Q1887161) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- On finitary functors and their presentations (Q2341699) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- Differential logical relations. II: Increments and derivatives (Q2664934) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- Metric Reasoning About $$\lambda $$-Terms: The General Case (Q2988646) (← links)
- (Q4553277) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455) (← links)
- (Q5028440) (← links)
- (Q5089293) (← links)
- Differential logical relations, Part I: The simply-typed case (Q5091273) (← links)
- (Q5094149) (← links)
- Compositional weak metrics for group key update (Q5111289) (← links)
- Non Expansive ε-Bisimulations (Q5505435) (← links)
- Dirichlet is natural (Q5971396) (← links)
- Kantorovich functors and characteristic logics for behavioural distances (Q6091180) (← links)
- Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)