RT Journal Article
T1 A unified rule format for bounded nondeterminism in SOS with terms as labels
A1 Aceto, Luca
A1 Fábregas Alfaro, Ignacio
A1 García Pérez, Álvaro
A1 Ingólfsdóttir, Anna
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, initials finiteness and image finiteness.
PB Elsevier
SN 2352-2208
YR 2016
FD 2016
LK https://hdl.handle.net/20.500.14352/98545
UL https://hdl.handle.net/20.500.14352/98545
LA eng
NO L. 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.
DS Docta Complutense
RD 7 abr 2025