Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability

Daisuke Nakai, Masaki Muramatsu, Susumu Nishimura

The logical method proposed by Goubault, Ledent, and Rajsbaum provides a novel way to show the unsolvability of distributed tasks by means of a logical obstruction, which is an epi…