Jesús Domínguez | DeepAI

DeepAI

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

Featured Co-authors

Aleksandar Nanevski
8 publications

research

∙ 07/10/2023

Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack: Extended Version

Linearizability is a standard correctness criterion for concurrent algor...

0 Jesús Domínguez, et al. ∙

research

∙ 07/10/2023

Declarative Linearizability Proofs for Descriptor-Based Concurrent Helping Algorithms

Linearizability is a standard correctness criterion for concurrent algor...

0 Jesús Domínguez, et al. ∙