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
A unified rule format for bounded nondeterminism in SOS with terms as labels
Aceto L;
2017-01-01
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 boundednondeterminism property. The properties we consider include finite branching, initials finiteness and image finitenessFile in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
2017_JLogAlgebraicMethodsProgram_92_Aceto.pdf
non disponibili
Tipologia:
Versione Editoriale (PDF)
Licenza:
Non pubblico
Dimensione
688.9 kB
Formato
Adobe PDF
|
688.9 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
