Philippe Quéinnec | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Armando Castañeda
13 publications
Adam Shimi
4 publications
Aurélie Hurault
4 publications
Matthieu Roy
3 publications

research

∙ 11/25/2020

Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models

Message-passing models of distributed computing vary along numerous dime...

0 Adam Shimi, et al. ∙

research

∙ 04/22/2020

Derivation of Heard-Of Predicates From Elementary Behavioral Patterns

There are many models of distributed computing, and no unifying mathemat...

0 Adam Shimi, et al. ∙

research

∙ 09/12/2019

Tasks in Modular Proofs of Concurrent Algorithms

Proving correctness of distributed or concurrent algorithms is a mind-ch...

0 Armando Castañeda, et al. ∙

research

∙ 05/04/2018

Characterizing Asynchronous Message-Passing Models Through Rounds

Message-passing models of distributed computing vary along numerous dime...

0 Adam Shimi, et al. ∙