Juan José González-Abril | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙