Pages that link to "Item:Q5958465"
From MaRDI portal
The following pages link to The regular viewpoint on PA-processes (Q5958465):
Displayed 6 items.
- Precise interprocedural dependence analysis of parallel programs (Q1884938) (← links)
- A general approach to comparing infinite-state systems with their finite-state specifications (Q2503044) (← links)
- Decidable first-order transition logics for PA-processes (Q2575856) (← links)
- Normalization of Linear Horn Clauses (Q2999324) (← links)
- PDL with intersection and converse: satisfiability and infinite-state model checking (Q3616354) (← links)
- Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems (Q5894255) (← links)