TY  - RPRT
TI  - A unified rule format for bounded nondeterminism in SOS with terms as labels
AU  - Luca Aceto
AU  - Ignacio Fábregas
AU  - Álvaro García-Pérez
AU  - Anna Ingólfsdóttir
PY  - 2024
DO  - 10.1016/j.jlamp.2017.03.002
UR  - https://arxiv.org/abs/2402.02847
ID  - 2402.02847
ER  -