A Sheaf-Theoretic Characterization of Tasks in Distributed Systems

Stephan Felber, Bernardo Hummes Flores, Hugo Rincon Galeana

We introduce a sheaf-theoretic characterization of task solvability in general distributed computing models, unifying distinct approaches to message-passing models. We establish ce…