A unified rule format for bounded nondeterminism in SOS with terms as labels
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866916115313065984 |
|---|---|
| author | Aceto, Luca Fábregas, Ignacio García-Pérez, Álvaro Ingólfsdóttir, Anna |
| author_facet | Aceto, Luca Fábregas, Ignacio García-Pérez, Álvaro Ingólfsdóttir, Anna |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_02847 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A unified rule format for bounded nondeterminism in SOS with terms as labels Aceto, Luca Fábregas, Ignacio García-Pérez, Álvaro Ingólfsdóttir, Anna Logic in Computer Science 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. |
| title | A unified rule format for bounded nondeterminism in SOS with terms as labels |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2402.02847 |