A simplicial complex model for dynamic epistemic logic to study distributed task computability
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
Topics & Concepts
ComputabilityEpistemic modal logicComputer scienceTheoretical computer scienceSimplicial complexAsynchronous communicationSnapshot (computer storage)Task (project management)MathematicsMultimodal logicDiscrete mathematicsDescription logicOperating systemComputer networkEconomicsManagementDistributed systems and fault toleranceLogic, Reasoning, and KnowledgeHomotopy and Cohomology in Algebraic Topology