Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Reversible Gray Debugging of Concurrent Systems

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Data Management Plan (s’ouvre dans une nouvelle fenêtre)

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.

Publications

The Duality of λ-Abstraction (s’ouvre dans une nouvelle fenêtre)

Auteurs: Vikraman Choudhury, Simon J. Gay
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 9, 2025, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3704848

revTPL: The Reversible Temporal Process Language (s’ouvre dans une nouvelle fenêtre)

Auteurs: Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
Publié dans: Logical Methods in Computer Science, Numéro Volume 20, Numéro 1, 2024, ISSN 1860-5974
Éditeur: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/lmcs-20(1:11)2024

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0