Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Reversible Gray Debugging of Concurrent Systems

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Data Management Plan (odnośnik otworzy się w nowym oknie)

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.

Publikacje

The Duality of λ-Abstraction (odnośnik otworzy się w nowym oknie)

Autorzy: Vikraman Choudhury, Simon J. Gay
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 9, 2025, ISSN 2475-1421
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3704848

revTPL: The Reversible Temporal Process Language (odnośnik otworzy się w nowym oknie)

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

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0