Arnaud Sangnier

Um olhar sobre lógica de primeira ordem melhorada pela gestão de dados.

Uma olhada na análise de segurança em sistemas distribuídos usando encontros não bloqueantes.

Uma visão geral dos protocolos de comunicação em sistemas distribuídos focando em Protocolos de Broadcast Não-Bloqueantes que Só Esperam.