7 citations · 14 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.DC2018
OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems
Sang-Min Choi, Jiho Park, Quan Nguyen +5
This paper introduces a new family of consensus protocols, namely \emph{Lachesis-class} denoted by , for distributed networks with guaranteed Byzantine fault tolerance…
cs.FL2018
Site-Directed Insertion: Decision Problems, Maximality and Minimality
Da-Jung Cho, Yo-Sub Han, Kai Salomaa +1
Site-directed insertion is an overlapping insertion operation that can be viewed as analogous to the overlap assembly or chop operations that concatenate strings by overlapping a s…