Pages that link to "Item:Q2847415"
From MaRDI portal
The following pages link to On extensions of process rewrite systems: rewrite systems with weak finite-state unit (Q2847415):
Displaying 4 items.
- On decidability of LTL model checking for process rewrite systems (Q1006890) (← links)
- Reachability is decidable for weakly extended process rewrite systems (Q1023281) (← links)
- On symbolic verification of weakly extended PAD (Q2866343) (← links)
- On Decidability of LTL+Past Model Checking for Process Rewrite Systems (Q5179053) (← links)