Aceto, LucaFábregas Alfaro, IgnacioGarcía Pérez, ÁlvaroIngólfsdóttir, Anna2024-02-032024-02-032016L. Aceto, I. Fábregas, A. García-Pérez, A. Ingólfsdóttir, A unified rule format for bounded nondeterminism in SOS with terms as labels, Journal of Logical and Algebraic Methods in Programming 92 (2017) 64–86. https://doi.org/10.1016/j.jlamp.2017.03.002.2352-220810.1016/J.JLAMP.2017.03.002https://hdl.handle.net/20.500.14352/98545We 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.engAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/journal articlehttps://doi.org/10.1016/J.JLAMP.2017.03.002open accessInformática (Informática)1203.17 Informática