Pages that link to "Item:Q5758140"
From MaRDI portal
The following pages link to Unfolding Concurrent Well-Structured Transition Systems (Q5758140):
Displaying 7 items.
- Attributed transition systems with hidden transitions (Q1709456) (← links)
- Branch-well-structured transition systems and extensions (Q2165211) (← links)
- (Q5367063) (← links)
- (Q5394328) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)
- Taking complete finite prefixes to high level, symbolically (Q6535189) (← links)
- Taking complete finite prefixes to high level, symbolically (Q6622143) (← links)