Pages that link to "Item:Q1323371"
From MaRDI portal
The following pages link to Elementary transition systems and refinement (Q1323371):
Displaying 5 items.
- Extensional equivalences for transition systems (Q1098303) (← links)
- Elementary transition systems (Q1190485) (← links)
- Some complexity results on transition systems and elementary net systems (Q1346631) (← links)
- Transition systems, event structures, and unfoldings (Q1892885) (← links)
- (Q4260382) (← links)