Pattern Models: A Dynamic Epistemic Logic for Distributed Systems

Artículo académico que presenta los modelos de patrones, una lógica epistémica dinámica para el análisis de sistemas distribuidos. Primero, se presenta una versión de los modelos de patrones en la que el protocolo de información completa, ampliamente estudiado en la computabilidad distribuida, es estático en la definición del producto de los modelos de patrones. A continuación, se parametriza dicha lógica para agregar la capacidad de modelar la dinámica de protocolos deterministas arbitrarios. De este modo, se proporciona una construcción sistemática de modelos de patrones para una gran variedad de modelos de computación distribuida, denominados modelos de red dinámica.