The following pages link to Model checking PA-processes (Q6044127):
Displaying 9 items.
- Process rewrite systems. (Q1854328) (← links)
- Decidable first-order transition logics for PA-processes (Q2575856) (← links)
- Axiomatizing a fragment of PAFAS (Q2703738) (← links)
- Bounded model checking liveness on basic parallel processes (Q3386301) (← links)
- (Q4222957) (← links)
- Tableau methods for PA-processes (Q4610333) (← links)
- Decidability of model checking with the temporal logic EF (Q5941100) (← links)
- Deciding bisimulation-like equivalences with finite-state processes (Q5941202) (← links)
- The regular viewpoint on PA-processes (Q5958465) (← links)