Semantic Scholar uses AI to extract papers important to this topic.
Abstract This paper addresses for the first time the problem of MWMR atomic memory in a Mobile Byzantine Agents model. The… Expand A new approach to the study and analysis of Mutual Exclusion ME algorithms is presented, based on identifying the priority… Expand We describe the combination of OWL and F-Logic for the
architecture of Semantic Web application nodes. The approach has been… Expand We consider the problem of implementing a wait-free regular register from storage components prone to Byzantine faults. We… Expand We present Byzantine Disk Paxos, an asynchronous shared-memory consensus protocol that uses a collection of n > 3t disks, t of… Expand We present Byzantine Disk Paxos, an asynchronous shared-memory consensus algorithm that uses a collection of n < 3t disks, t of… Expand Several constructions implement more powerful registers from weaker ones. Their correctness proofs should be accessible to… Expand A fundamental aspect of any concurrent system is how processes communicate with each other. Ultimately, all communication… Expand In this paper we consider implementation of atomic wait-free objects in the context of a shared-memory multiprocessor. We… Expand A novel formal theory of concurrent systems that does not assume any atomic operations is introduced. The execution of a… Expand