1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.DC2023
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…
cs.DC2022★ 1 cited
Proving Unsolvability of Set Agreement Task with Epistemic mu-Calculus
Susumu Nishimura
This paper shows, in the framework of the logical method,the unsolvability of -set agreement task by devising a suitable formula of epistemic logic. The unsolvability of -set…