TY  - JOUR
AU  - Aceto, Luca
AU  - Fábregas Alfaro, Ignacio
AU  - García Pérez, Álvaro
AU  - Ingólfsdóttir, Anna
PY  - 2016
DO  - 10.1016/J.JLAMP.2017.03.002
SN  - 2352-2208
UR  - https://hdl.handle.net/20.500.14352/98545
T2  - Journal of Logical and Algebraic Methods in Programming
AB  - We present a unified rule format for structural operational semantics with terms as labels that guarantees that the associated labelled transition system has some bounded-nondeterminism property. The properties we consider include finite branching,...
LA  - eng
PB  - Elsevier
TI  - A unified rule format for bounded nondeterminism in SOS with terms as labels
TY  - journal article
ER  -