Back to Search Start Over

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

Authors :
Aceto, Luca
Fábregas, Ignacio
García-Pérez, Álvaro
Ingólfsdóttir, Anna
Source :
J. Log. Algebraic Methods Program. Vol. 92. 2017
Publication Year :
2024

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.

Subjects

Subjects :
Computer Science - Logic in Computer Science

Details

Database :
arXiv
Journal :
J. Log. Algebraic Methods Program. Vol. 92. 2017
Publication Type :
Report
Accession number :
edsarx.2402.02847
Document Type :
Working Paper
Full Text :
https://doi.org/10.1016/J.JLAMP.2017.03.002
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details