A unified rule format for bounded nondeterminism in SOS with terms as labels
<|reference_start|>A unified rule format for bounded nondeterminism in SOS with terms as labels: 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.<|reference_end|>
@article{aceto2024a,
    title={A unified rule format for bounded nondeterminism in SOS with terms as
  labels},
    author={Luca Aceto and Ignacio F'abregas and 'Alvaro Garc'ia-P'erez and
  Anna Ing'olfsd'ottir},
    journal={J. Log. Algebraic Methods Program. Vol. 92. 2017},
    year={2024},
    doi={10.1016/J.JLAMP.2017.03.002},
    archivePrefix={arXiv},
    eprint={2402.02847},
    primaryClass={cs.LO}
}