Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable / LA TORRE, Salvatore; Muscholl, Anca; Walukievicz, Igor. - 42:(2015), pp. 72-84. ((Intervento presentato al convegno 26th International Conference on Concurrency Theory (CONCUR 2015) tenutosi a Madrid, Spain nel September 1-4, 2015 [10.4230/LIPIcs.CONCUR.2015.72].
Titolo: | Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable | |
Autori: | ||
Data di pubblicazione: | 2015 | |
Handle: | http://hdl.handle.net/11386/4650343 | |
ISBN: | 9783939897910 | |
Appare nelle tipologie: | 4.1.2 Proceedings con ISBN |
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.