Communication Pattern Models: An Extension of Action Models for Dynamic-Network Distributed Systems

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

Halpern and Moses were the first to recognize, in 1984, the importance of a formal treatment of knowledge in distributed computing. Many works in distributed computing, however, st…