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.

Communication, Dissemination & Exploitation Plan (odnośnik otworzy się w nowym oknie)

The plan describes the planned measures to maximize the impact of the project, including the dissemination and exploitation measures that are planned, and the target group(s) addressed. Regarding communication measures and public engagement strategy, the aim is to inform and reach out to society and show the activities performed, and the use and the benefits the project will have for citizens.

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