1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.DC2020★ 1 cited
Logical Obstruction to Set Agreement Tasks for Superset-Closed Adversaries
Koki Yagi, Susumu Nishimura
In their recent paper (GandALF 2018), Goubault, Ledent, and Rajsbaum provided a formal epistemic model for distributed computing. Their logical model, as an alternative to the well…
cs.DC2017
Schlegel Diagram and Optimizable Immediate Snapshot Protocol
Susumu Nishimura
In the topological study of distributed systems, the immediate snapshot is the fundamental computation block for the topological characterization of wait-free solvable tasks. Howev…