We 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.