Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Reversible Gray Debugging of Concurrent Systems

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Data Management Plan (se abrirá en una nueva ventana)

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.

Publicaciones

The Duality of λ-Abstraction (se abrirá en una nueva ventana)

Autores: Vikraman Choudhury, Simon J. Gay
Publicado en: Proceedings of the ACM on Programming Languages, Edición 9, 2025, ISSN 2475-1421
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3704848

revTPL: The Reversible Temporal Process Language (se abrirá en una nueva ventana)

Autores: Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
Publicado en: Logical Methods in Computer Science, Edición Volume 20, Edición 1, 2024, ISSN 1860-5974
Editor: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/lmcs-20(1:11)2024

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0