Juan José González-Abril | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Germán Vidal
13 publications

research

∙ 12/23/2021

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

This paper presents a lightweight formalism (a trace) to model message-p...

0 Juan José González-Abril, et al. ∙

research

∙ 08/26/2021

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

The execution of concurrent programs generally involves some degree of n...

0 Juan José González-Abril, et al. ∙