Rule Formats for Bounded Nondeterminism in Structural Operational Semantics.
['Luca Aceto', 'Álvaro García-Pérez', 'Anna Ingólfsdóttir']
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics.