Receiving Messages in Their Correct Order: Analyzing Broadcast Protocols in Dynamic Epistemic Logics

Spandan Das, Sujata Ghosh

Abstract

In this paper we analyse distributed protocols in a logical framework. In particular, we provide a dynamic epistemic logic analysis of certain broadcast protocols, viz. Birman-Schiper-Stephenson protocol and Lamport’s mutual exclusion protocol. In the process, we provide correctness proofs of these protocols via knowledge-based reasoning. We also provide a detailed algorithmic analysis of the logical modeling of these protocols.

Download


Paper Citation


in Harvard Style

Das S. and Ghosh S. (2021). Receiving Messages in Their Correct Order: Analyzing Broadcast Protocols in Dynamic Epistemic Logics.In Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-484-8, pages 851-858. DOI: 10.5220/0010253608510858


in Bibtex Style

@conference{icaart21,
author={Spandan Das and Sujata Ghosh},
title={Receiving Messages in Their Correct Order: Analyzing Broadcast Protocols in Dynamic Epistemic Logics},
booktitle={Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2021},
pages={851-858},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010253608510858},
isbn={978-989-758-484-8},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Receiving Messages in Their Correct Order: Analyzing Broadcast Protocols in Dynamic Epistemic Logics
SN - 978-989-758-484-8
AU - Das S.
AU - Ghosh S.
PY - 2021
SP - 851
EP - 858
DO - 10.5220/0010253608510858