CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe present a unified rule format for structural operational semantics with terms as labels that guarantees that the associated labelled transition system has some boundednondeterminism property. The properties we consider include finite branching, initials finiteness and image finiteness
| Titolo: | A unified rule format for bounded nondeterminism in SOS with terms as labels | |
| Autori: | ||
| Data di pubblicazione: | 2017 | |
| Rivista: | ||
| Handle: | http://hdl.handle.net/20.500.12571/511 | |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| 2017_JLogAlgebraicMethodsProgram_92_Aceto.pdf | Versione Editoriale (PDF) | Non pubblico | Administrator Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2022