Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

Reversible Gray Debugging of Concurrent Systems

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Data Management Plan (öffnet in neuem Fenster)

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.

Veröffentlichungen

The Duality of λ-Abstraction (öffnet in neuem Fenster)

Autoren: Vikraman Choudhury, Simon J. Gay
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 9, 2025, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3704848

revTPL: The Reversible Temporal Process Language (öffnet in neuem Fenster)

Autoren: Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe Volume 20, Ausgabe 1, 2024, ISSN 1860-5974
Herausgeber: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/lmcs-20(1:11)2024

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0