A unified rule format for bounded nondeterminism in SOS with terms as labels
Loading...
Official URL
Full text at PDC
Publication date
2016
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
Citations
Exportar
Citation
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.
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.