A unified rule format for bounded nondeterminism in SOS with terms as labels

Luca Aceto; Ignacio Fábregas; Álvaro García-Pérez; Anna Ingólfsdóttir

doi:10.1016/J.JLAMP.2017.03.002

paper

A unified rule format for bounded nondeterminism in SOS with terms as labels

arXiv:2402.02847 · doi:10.1016/J.JLAMP.2017.03.002

Abstract

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.