Communication pattern models: an extension of action models for dynamic-network distributed systems

DOI10.4204/EPTCS.335.29MaRDI QIDQ6642582

David A. Rosenblueth, Armando Castañeda, Diego A. Velázquez

Publication date: 24 November 2024

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Distributed systems (68M14)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamic epistemic logic
• On knowledge and communication complexity in distributed systems
• Endogenizing epistemic actions
• The Heard-Of model: computing in distributed systems with benign faults
• Knowledge and common knowledge in a distributed environment
• Topological Characterization of Consensus under General Message Adversaries
• Generalized FLP impossibility result for t-resilient asynchronous computations
• Wait-free k-set agreement is impossible
• The asynchronous computability theorem for t-resilient tasks
• A simple algorithmically reasoned characterization of wait-free computation (extended abstract)
• Immediate atomic snapshots and fast renaming

Related Items (2)

Simplicial models for the epistemic logic of faulty agents ⋮ Defining logical obstruction with fixpoints in epistemic logic

This page was built for publication: Communication pattern models: an extension of action models for dynamic-network distributed systems

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