A unified rule format for bounded nondeterminism in SOS with terms as labels
| dc.contributor.author | Aceto, Luca | |
| dc.contributor.author | Fábregas Alfaro, Ignacio | |
| dc.contributor.author | García Pérez, Álvaro | |
| dc.contributor.author | Ingólfsdóttir, Anna | |
| dc.date.accessioned | 2024-02-03T08:55:50Z | |
| dc.date.available | 2024-02-03T08:55:50Z | |
| dc.date.issued | 2016 | |
| dc.description.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. | en |
| dc.description.department | Depto. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.identifier.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. | |
| dc.identifier.doi | 10.1016/J.JLAMP.2017.03.002 | |
| dc.identifier.issn | 2352-2208 | |
| dc.identifier.officialurl | https://doi.org/10.1016/J.JLAMP.2017.03.002 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/98545 | |
| dc.journal.title | Journal of Logical and Algebraic Methods in Programming | |
| dc.language.iso | eng | |
| dc.publisher | Elsevier | |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | en |
| dc.rights.accessRights | open access | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.subject.ucm | Informática (Informática) | |
| dc.subject.unesco | 1203.17 Informática | |
| dc.title | A unified rule format for bounded nondeterminism in SOS with terms as labels | en |
| dc.type | journal article | |
| dc.type.hasVersion | AM | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 09fd55c9-1783-4b0d-a8b5-4c2e392fccd8 | |
| relation.isAuthorOfPublication.latestForDiscovery | 09fd55c9-1783-4b0d-a8b5-4c2e392fccd8 |
Download
Original bundle
1 - 1 of 1
Loading...
- Name:
- A_unified_rule_format.pdf
- Size:
- 417.14 KB
- Format:
- Adobe Portable Document Format
