TY  - RPRT
TI  - Determining Existence of Logical Obstructions to the Distributed Task Solvability
AU  - Sou Hoshino
PY  - 2022
UR  - https://arxiv.org/abs/2203.05153
ID  - 2203.05153
ER  -