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

2022
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].
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/955825
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact