The following pages link to Safe reasoning with logic LTS (Q549200):
Displaying 7 items.
- Processes with infinite liveness requirements (Q383788) (← links)
- Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) (Q893593) (← links)
- Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
- On the greatest solution of equations in \(\mathrm{CLL}_R\) (Q2353634) (← links)
- ACTL for modal interface automata (Q2404073) (← links)
- Safe Reasoning with Logic LTS (Q3599086) (← links)
- On recursive operations over logic LTS (Q5740660) (← links)
