Pages that link to "Item:Q2453109"
From MaRDI portal
The following pages link to The quantitative linear-time-branching-time spectrum (Q2453109):
Displayed 17 items.
- Quantitative analysis of software approximate correctness (Q1664851) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- The approximate correctness of systems based on \(\delta\)-bisimulation (Q1744456) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
- Probabilistic model of software approximate correctness (Q2825263) (← links)
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- (Q3384913) (← links)
- (Q5089293) (← links)
- (Q5094149) (← links)
- Compositional weak metrics for group key update (Q5111289) (← links)
- Quantitative safety and liveness (Q6091203) (← links)
- Fixpoint Theory -- Upside Down (Q6135764) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)