Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Reversible Gray Debugging of Concurrent Systems

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Data Management Plan (opens in new window)

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 (opens in new window)

Author(s): Vikraman Choudhury, Simon J. Gay
Published in: Proceedings of the ACM on Programming Languages, Issue 9, 2025, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3704848

revTPL: The Reversible Temporal Process Language (opens in new window)

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

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0