8 citations · 22 across the 13 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023★ 2 cited
Comparing the Update Expressivity of Communication Patterns and Action Models
Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth +1
Any kind of dynamics in dynamic epistemic logic can be represented as an action model. Right? Wrong! In this contribution we prove that the update expressivity of communication pat…
cs.LO2021★ 8 cited
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…