The following pages link to Transition Logic Revisited (Q3535602):
Displaying 6 items.
- Let's plan it deductively! (Q1274761) (← links)
- Logic of transition systems (Q1895974) (← links)
- Thompson transformations for IF-logic (Q2500828) (← links)
- Tiling transactions in rewriting logic (Q2851050) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- Labelled transition logic: An outline (Q5950716) (← links)