Pages that link to "Item:Q2917271"
From MaRDI portal
The following pages link to Process algebra for modal transition systemses (Q2917271):
Displaying 8 items.
- On determinism in modal transition systems (Q843096) (← links)
- Comparing disjunctive modal transition systems with an one-selecting variant (Q953529) (← links)
- A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- Process algebras for systems diagnosis. (Q1852861) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)