%0 Journal Article
%A Aceto, Luca
%A Fábregas Alfaro, Ignacio
%A García Pérez, Álvaro
%A Ingólfsdóttir, Anna
%T A unified rule format for bounded nondeterminism in SOS with terms as labels
%D 2016
%@ 2352-2208
%U https://hdl.handle.net/20.500.14352/98545
%X 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, initials finiteness and image finiteness.
%~