Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

Reversible Gray Debugging of Concurrent Systems

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Data Management Plan (si apre in una nuova finestra)

The Data Management Plan describes the data management life cycle for all data sets that will be collected, processed or generated by the action. It is a document describing what data will be collected, processed or generated and following what methodology and standards, whether and how this data will be shared and/or made open, and how it will becurated and preserved.

Pubblicazioni

The Duality of λ-Abstraction (si apre in una nuova finestra)

Autori: Vikraman Choudhury, Simon J. Gay
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 9, 2025, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3704848

revTPL: The Reversible Temporal Process Language (si apre in una nuova finestra)

Autori: Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
Pubblicato in: Logical Methods in Computer Science, Numero Volume 20, Numero 1, 2024, ISSN 1860-5974
Editore: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/lmcs-20(1:11)2024

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0