Pages that link to "Item:Q5056000"
From MaRDI portal
The following pages link to Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous (Q5056000):
Displaying 4 items.
- Multithreaded-Cartesian abstract interpretation of multithreaded recursive programs Is polynomial (Q1675156) (← links)
- Reachability analysis of synchronized PA systems (Q2851071) (← links)
- Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures (Q3525644) (← links)
- Compositional Bitvector Analysis for Concurrent Programs with Nested Locks (Q4930732) (← links)