Výsledky vyhledávání - "NISHIMURA, SUSUMU"

Report

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

Autor: Nakai, Daisuke, Muramatsu, Masaki, Nishimura, Susumu

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 epistemic logic formula describing the reason of unsolvability. In this p

Externí odkaz: http://arxiv.org/abs/2303.16437

Zobrazit plný text záznamu

Report

Proving Unsolvability of Set Agreement Task with Epistemic mu-Calculus

Autor: Nishimura, Susumu

This paper shows, in the framework of the logical method,the unsolvability of $k$-set agreement task by devising a suitable formula of epistemic logic. The unsolvability of $k$-set agreement task is a well-known fact, which is a direct consequence of

Externí odkaz: http://arxiv.org/abs/2205.06452

Zobrazit plný text záznamu

Report

Logical Obstruction to Set Agreement Tasks for Superset-Closed Adversaries

Autor: Yagi, Koki, Nishimura, Susumu

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-studied topological model, provides an attractive framework for refut

Externí odkaz: http://arxiv.org/abs/2011.13630

Zobrazit plný text záznamu

Report

Schlegel Diagram and Optimizable Immediate Snapshot Protocol

Autor: Nishimura, Susumu

In the topological study of distributed systems, the immediate snapshot is the fundamental computation block for the topological characterization of wait-free solvable tasks. However, in reality, the immediate snapshot is not available as a native bu

Externí odkaz: http://arxiv.org/abs/1711.07135

Zobrazit plný text záznamu