A simplicial complex model for dynamic epistemic logic to study distributed task computability

Éric Goubault, Jérémy Ledent, Sergio Rajsbaum. A simplicial complex model for dynamic epistemic logic to study distributed task computability. Inf. Comput., 278:104597, 2021. [doi]

Abstract

Abstract is missing.