Pages that link to "Item:Q2165211"
From MaRDI portal
The following pages link to Branch-well-structured transition systems and extensions (Q2165211):
Displaying 5 items.
- Extensional equivalences for transition systems (Q1098303) (← links)
- The characterization of branching dependencies (Q1202887) (← links)
- Handling infinitely branching well-structured transition systems (Q1686118) (← links)
- Extended transition systems for parametric bisimulation (Q4630292) (← links)
- (Q5394328) (← links)