Pages that link to "Item:Q843096"
From MaRDI portal
The following pages link to On determinism in modal transition systems (Q843096):
Displaying 18 items.
- Abstract probabilistic automata (Q386011) (← links)
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Modal transition systems with weight intervals (Q444490) (← links)
- Interface theories for concurrency and data (Q549177) (← links)
- Safe reasoning with logic LTS (Q549200) (← links)
- Constraint Markov chains (Q554215) (← links)
- EXPTIME-completeness of thorough refinement on modal transition systems (Q690504) (← links)
- Comparing disjunctive modal transition systems with an one-selecting variant (Q953529) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Observational refinement and merge for disjunctive MTSs (Q1990514) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- Quantitative Modal Transition Systems (Q2848870) (← links)
- Extending modal transition systems with structured labels (Q2909731) (← links)
- Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems (Q4352532) (← links)
- Distribution of Modal Transition Systems (Q4647857) (← links)
- A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems (Q5458058) (← links)
- Coherent modal transition systems refinement (Q6197588) (← links)