The following pages link to (Q2851071):
Displaying 4 items.
- Verification of well-formed communicating recursive state machines (Q944388) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← 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)
