Juan José González-Abril

According to our database¹, Juan José González-Abril authored at least 4 papers in 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging.

[BibT_eX]

[DOI]

CoRR, 2021

A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency.

[BibT_eX]

[DOI]

CoRR, 2021

Causal-Consistent Reversible Debugging: Improving CauDEr.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2021

Prefix-Based Tracing in Message-Passing Concurrency.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2021