Pages that link to "Item:Q5055739"
From MaRDI portal
The following pages link to Fair termination is decidable for ground systems (Q5055739):
Displaying 4 items.
- Fair termination revisited - with delay (Q795499) (← links)
- Termination of just/fair computations in term rewriting (Q924727) (← links)
- Verification of well-formed communicating recursive state machines (Q944388) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)