Pages that link to "Item:Q2848369"
From MaRDI portal
The following pages link to A static analysis framework for livelock freedom in CSP (Q2848369):
Displaying 5 items.
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- Compositional and local livelock analysis for CSP (Q1705697) (← links)
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving (Q2418047) (← links)
- Static Livelock Analysis in CSP (Q3090843) (← links)
- (Q3347264) (← links)