Pages that link to "Item:Q673968"
From MaRDI portal
The following pages link to Studying equivalences of transition systems with algebraic tools (Q673968):
Displaying 7 items.
- Extensional equivalences for transition systems (Q1098303) (← links)
- An algebraic characterization of observational equivalence (Q1351804) (← links)
- Towards a unified view of bisimulation: A comparative study (Q1575240) (← links)
- An algebraic characterization of transition system equivalences (Q1822989) (← links)
- General framework of structural similarity between system models (Q3356149) (← links)
- (Q4260382) (← links)
- (Q4738239) (← links)