TY  - CPAPER
AU  - Rubio Cuéllar, Rubén Rafael
AU  - Martí Oliet, Narciso
AU  - Pita Andreu, María Isabel
AU  - Verdejo López, José Alberto
A2  - Ogata, Kazuhiro
A2  - Martí Oliet, Narciso
PY  - 2024
DO  - 10.1007/978-3-031-65941-6_8
UR  - https://hdl.handle.net/20.500.14352/122895
AB  - Strategies are a natural way of specifying constraints in a rewriting-based model. They are often expressed as executable programs in some strategy language that intensionally filter the possible next rewrites. Hence, they cannot capture restrictions...
LA  - eng
M2  - 145
KW  - Rewriting strategies
KW  - Model checking
KW  - Fairness
KW  - Kleene star
TI  - Specifying fairness constraints and model checking with non-intensional strategies
TY  - conference paper
ER  -