Communication Pattern Logic: Epistemic and Topological Views.

We propose communication pattern logic. A communication pattern describes how processes or agents inform each other, independently of the information content. The full-information protocol in distributed computing is the special case wherein all agents inform each other. We study this protocol in di...

Full description

Bibliographic Details

Published in:	Journal of Philosophical Logic Vol. 52; no. 5; pp. 1445 - 1474
Main Authors:	Castañeda, Armando, van Ditmarsch, Hans, Rosenblueth, David A., Velázquez, Diego A.
Format:	Article
Published:	Springer Nature Oct2023
Subjects:	Communication patterns Epistemic logic Distributed computing Communication models Modal logic Bisimulation
Online Access:	View this record in EBSCOhost