scientific article; zbMATH DE number 7450035

MaRDI QIDQ5018518

Roman Kuznets, Laurent Prosperi, Krisztina Fruzsa, Ulrich Schmid

Publication date: 20 December 2021

Full work available at URL: https://arxiv.org/abs/1907.09112

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items

A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• How processes learn
• Programming simultaneous actions using common knowledge
• Common knowledge revisited
• Belief as defeasible knowledge
• Epistemic reasoning with Byzantine-faulty agents
• A Characterization of Eventual Byzantine Agreement
• Graph Theory
• Beyond Lamport's Happened-before
• Knowledge and common knowledge in a distributed environment
• The Byzantine Generals Problem
• Time, clocks, and the ordering of events in a distributed system
• Silence