Pages that link to "Item:Q2909731"
From MaRDI portal
The following pages link to Extending modal transition systems with structured labels (Q2909731):
Displaying 10 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Stuttering for abstract probabilistic automata (Q2436515) (← links)
- An inductive approach for modal transition system refinement (Q2909149) (← links)
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
- Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)