Pages that link to "Item:Q2851071"
From MaRDI portal
The following pages link to Reachability analysis of synchronized PA systems (Q2851071):
Displaying 7 items.
- Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates (Q680540) (← links)
- Verification of well-formed communicating recursive state machines (Q944388) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- Feasible reactivity for synchronous cooperative threads (Q2852061) (← links)
- On symbolic verification of weakly extended PAD (Q2866343) (← links)
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous (Q5056000) (← links)
- Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism (Q5179049) (← links)