A categorical and logical framework for iterated protocols

Eric Goubault, Bernardo Hummes Flores, Roman Kniazev +2

In this article, we show that the now classical protocol complex approach to distributed task solvability of Herlihy et al. can be understood in standard categorical terms. First,…