Pages that link to "Item:Q1822989"
From MaRDI portal
The following pages link to An algebraic characterization of transition system equivalences (Q1822989):
Displaying 15 items.
- Confluence for process verification (Q672042) (← links)
- Studying equivalences of transition systems with algebraic tools (Q673968) (← links)
- Extensional equivalences for transition systems (Q1098303) (← links)
- Observational structures and their logic (Q1190494) (← links)
- Bisimulation is two-way simulation (Q1342255) (← links)
- An algebraic characterization of observational equivalence (Q1351804) (← links)
- A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
- An algebraic and algorithmic method for analysing transition systems (Q1822237) (← links)
- (Q3332228) (← links)
- Fairness and regularity for SCCS processes (Q3816967) (← links)
- (Q4260382) (← links)
- (Q4471715) (← links)
- (Q4738239) (← links)
- Verification and comparison of transition systems (Q5044730) (← links)
- Algebraic characterizations of trace and decorated trace equivalences over tree-like structures (Q5940926) (← links)