Pages that link to "Item:Q1822237"
From MaRDI portal
The following pages link to An algebraic and algorithmic method for analysing transition systems (Q1822237):
Displaying 13 items.
- Static analysis of IMC (Q444504) (← links)
- Analysis of the structure of attributed transition systems without hidden transitions (Q681892) (← links)
- A linear algorithm to solve fixed-point equations on transition systems (Q1115196) (← links)
- Nivat's processes and their synchronization (Q1603683) (← links)
- A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
- Injective envelope and parallel decomposition of a transition system (Q1763334) (← links)
- An algebraic characterization of transition system equivalences (Q1822989) (← links)
- An approximation algorithm for box abstraction of transition systems on real state spaces (Q2248056) (← links)
- Algebraic approach to the analysis of automaton systems of interconnected graphs with simple links (Q2266588) (← links)
- (Q3341901) (← links)
- (Q4738239) (← links)
- An even faster solver for general systems of equations (Q5030194) (← links)
- Verification and comparison of transition systems (Q5044730) (← links)