TY  - RPRT
AU  - Martín Sánchez, Óscar
AU  - Verdejo López, Alberto
AU  - Martí Oliet, Narciso
PY  - 2016
UR  - https://hdl.handle.net/20.500.14352/138.1
AB  - We argue that considering transitions at the same level as states, as first-class citizens, is advantageous in many cases. Namely, the use of atomic propositions on transitions, as well as on states, allows temporal formulas and strategies to be more...
LA  - eng
KW  - state/transition structuresTLR*model checkingtemporal logicKripke structuresLTS
TI  - Egalitarian state-transition systems (extended version)
TY  - technical report
ER  -