The following pages link to On closure under stuttering (Q1423532):
Displaying 7 items.
- A note on a question of Peled and Wilke regarding stutter-invariant LTL (Q294841) (← links)
- Invariance under stuttering in a temporal logic of actions (Q859839) (← links)
- LTL under reductions with weaker conditions than stutter invariance (Q2165225) (← links)
- LTL is closed under topological closure (Q2448112) (← links)
- The stuttering principle revisited (Q2484066) (← links)
- Code generation for parallel applications modelled with object-based graph grammars (Q2870327) (← links)
- (Q4356434) (← links)