We discuss the genesis of the ULTraS metamodel and summarize its evolution arising from the introduction of coherent resolutions of nondeterminism and reachability-consistent semirings.
Titolo: | Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults |
Autori: | |
Data di pubblicazione: | 2019 |
Serie: | |
Abstract: | We discuss the genesis of the ULTraS metamodel and summarize its evolution arising from the introduction of coherent resolutions of nondeterminism and reachability-consistent semirings. |
Handle: | http://hdl.handle.net/11576/2670064 |
ISBN: | 978-3-030-21484-5 |
Appare nelle tipologie: | 2.1 Contributo in Volume (Articolo su libro) |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.