Pages that link to "Item:Q3067860"
From MaRDI portal
The following pages link to Well (and Better) Quasi-Ordered Transition Systems (Q3067860):
Displayed 8 items.
- Analysis of the structure of attributed transition systems without hidden transitions (Q681892) (← links)
- Lost in abstraction: monotonicity in multi-threaded programs (Q729809) (← links)
- Delay-bounded scheduling without delay! (Q832185) (← links)
- Attributed transition systems with hidden transitions (Q1709456) (← links)
- Unbounded-Thread Program Verification using Thread-State Equations (Q2817949) (← links)
- MONOTONIC ABSTRACTION FOR PROGRAMS WITH MULTIPLY-LINKED STRUCTURES (Q2841994) (← links)
- Carrying Probabilities to the Infinite World (Q3090817) (← links)
- (Q3130550) (← links)