Pages that link to "Item:Q2484066"
From MaRDI portal
The following pages link to The stuttering principle revisited (Q2484066):
Displaying 15 items.
- A note on a question of Peled and Wilke regarding stutter-invariant LTL (Q294841) (← links)
- Stirring: the Eckart paradigm revisited (Q660609) (← links)
- Timed hyperproperties (Q821560) (← links)
- A note on stutter-invariant PLTL (Q989448) (← links)
- On closure under stuttering (Q1423532) (← links)
- On the semantics of polychronous polytimed specifications (Q1996008) (← links)
- Flavors of sequential information flow (Q2152640) (← links)
- LTL under reductions with weaker conditions than stutter invariance (Q2165225) (← links)
- Multi-player games with LDL goals over finite traces (Q2225596) (← links)
- Taming past LTL and flat counter systems (Q2346416) (← links)
- Next-preserving branching bisimulation (Q2355689) (← links)
- Weak Kripke Structures and LTL (Q3090846) (← links)
- (Q4356434) (← links)
- SOFSEM 2005: Theory and Practice of Computer Science (Q5711540) (← links)
- Characterization and verification of stuttering equivalence (Q6165772) (← links)