Pages that link to "Item:Q3189810"
From MaRDI portal
The following pages link to On the analysis of interacting pushdown systems (Q3189810):
Displaying 10 items.
- Verification of well-formed communicating recursive state machines (Q944388) (← links)
- Verifying parallel programs with dynamic communication structures (Q1959654) (← links)
- Model checking dynamic pushdown networks (Q2355386) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- Reasoning about Threads with Bounded Lock Chains (Q3090848) (← links)
- Model Checking Concurrent Programs (Q3176376) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- Verifying Parallel Programs with Dynamic Communication Structures (Q3637351) (← links)
- Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order (Q3646258) (← links)
- Interprocedural Analysis of Concurrent Programs Under a Context Bound (Q5458333) (← links)