Pages that link to "Item:Q456100"
From MaRDI portal
The following pages link to On behavioural pseudometrics and closure ordinals (Q456100):
Displaying 10 items.
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Deciding probabilistic bisimilarity distance one for probabilistic automata (Q2306848) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- (Q4558787) (← links)
- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata (Q5418964) (← links)
- (Q5856412) (← links)
- Computing bisimilarity metrics for probabilistic timed automata (Q6536354) (← links)