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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Journal of Philosophical Logic Vol. 52; no. 5; pp. 1445 - 1474
Autores principales:	Castañeda, Armando, van Ditmarsch, Hans, Rosenblueth, David A., Velázquez, Diego A.
Formato:	Artículo
Publicado:	Springer Nature Oct2023
Materias:	Communication patterns Epistemic logic Distributed computing Communication models Modal logic Bisimulation
Acceso en línea:	Ver este registro en EBSCOhost