yu nkt’s blog
はじめに 今回は、昨年のACM PODC (Principle of Distributed Computing)でDijkstra賞を受賞した、以下の発表について解説します。 B. Alpern, F. B.Schneider, "Defining liveness," in proceedings of published in Information Processing Letters, vol. …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。