Fire!

DOI10.4204/EPTCS.335.13MaRDI QIDQ6642572zbMATH OpenFDO

Authors Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid

Publication date 24 November 2024

Full work available at URL https://doi.org/10.4204/EPTCS.335.13

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Agent technology and artificial intelligence (68T42)

Recommendations

• A new hope
• The Distributed Firing Squad Problem
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Logic of Communication Interpretation: How to Not Get Lost in Translation
• Near-optimal self-stabilising counting and firing squads

Cites work

• A characterization of eventual Byzantine agreement
• A lattice-theoretical fixpoint theorem and its applications
• Agent-time epistemics and coordination
• Belief as defeasible knowledge
• Beyond Lamport's Happened-before
• Beyond Lamport's happened-before: on the role of time bounds in synchronous systems
• Causality and epistemic reasoning in Byzantine multi-agent systems
• Epistemic reasoning with Byzantine-faulty agents
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Knowledge and common knowledge in a distributed environment
• Programming simultaneous actions using common knowledge
• Reconciling fault-tolerant distributed computing and systems-on-chip
• Relating knowledge and coordinated action: the knowledge of preconditions principle
• Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip
• Silence
• The asynchronous bounded-cycle model
• The Byzantine Generals Problem
• The Theta-Model: achieving synchrony without clocks
• Time, clocks, and the ordering of events in a distributed system

Cited in

(4)

• Wanted dead or alive: epistemic logic for impure simplicial complexes
• On two- and three-valued semantics for impure simplicial complexes
• Communication modalities
• A logic for repair and state recovery in Byzantine fault-tolerant multi-agent systems

This page was built for publication: Fire!

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6642572)