Pages that link to "Item:Q2911616"
From MaRDI portal
The following pages link to The quantitative linear-time-branching-time spectrum (Q2911616):
Displaying 13 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- A game for linear-time-branching-time spectroscopy (Q2044187) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455) (← links)
- (Q5089293) (← links)
- (Q5094149) (← links)
- Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)
- Specification Theories for Probabilistic and Real-Time Systems (Q5170746) (← links)
- Graded monads and behavioural equivalence games (Q6649498) (← links)