The following pages link to (Q4373413):
Displaying 10 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Metrics for weighted transition systems: axiomatization and complexity (Q549202) (← links)
- Bisimulation indexes and their applications (Q1606119) (← links)
- Sufficient conditions for the marked graph realisability of labelled transition systems (Q1623288) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- Uniform metrical task systems with a limited number of states (Q2380010) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
- A compositional proof system on a category of labelled transition systems (Q2640340) (← links)
- Multi labelled transition systems: a semantic framework for nominal calculi (Q2863915) (← links)
- Automata, Languages and Programming (Q5466453) (← links)