Pages that link to "Item:Q2373743"
From MaRDI portal
The following pages link to Recursively defined metric spaces without contraction (Q2373743):
Displaying 18 items.
- A pseudometric in supervisory control of probabilistic discrete event systems (Q351739) (← links)
- Addendum to ``Recursively defined metric spaces without contraction'' (Q391132) (← links)
- Approximating Markov processes through filtration (Q442296) (← links)
- Approximation in quantale-enriched categories (Q536049) (← links)
- A fixed-point theorem in a category of compact metric spaces (Q673143) (← links)
- Banach's fixed-point theorem as a base for data-type equations (Q1330915) (← links)
- A note on distances between probabilistic and quantum distributions (Q2130591) (← links)
- On finitary functors and their presentations (Q2341699) (← links)
- Final coalgebras in accessible categories (Q3094168) (← links)
- (Q5089293) (← links)
- (Q5094149) (← links)
- (Q5109515) (← links)
- On Finitary Functors (Q5243045) (← links)
- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata (Q5418964) (← links)
- Bisimulation for Markov Decision Processes through Families of Functional Expressions (Q5418971) (← links)
- (Q5498127) (← links)
- Explainability of probabilistic bisimilarity distances for labelled Markov chains (Q6091199) (← links)
- Sum and tensor of quantitative effects (Q6635519) (← links)