Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties / Bozzelli, L.; Peron, A.; Sanchez, C.. - 243:(2022). (Intervento presentato al convegno 33rd International Conference on Concurrency Theory (CONCUR 2022) tenutosi a Warsaw, Poland nel September 12-16, 2022) [10.4230/LIPIcs.CONCUR.2022.27].
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
Bozzelli L.
;Peron A.;
2022
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
CONCUR2022.pdf
solo utenti autorizzati
Licenza:
Copyright dell'editore
Dimensione
846.17 kB
Formato
Adobe PDF
|
846.17 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.