8 citations · 22 across the 13 of their papers we have counts for
3 papers · 1 filter
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…
Topological Characterization of Task Solvability in General Models of Computation
Hagit Attiya, Armando Castañeda, Thomas Nowak
The famous asynchronous computability theorem (ACT) relates the existence of an asynchronous wait-free shared memory protocol for solving a task with the existence of a simplicial…
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
Armando Castañeda, Gilde Valeria Rodríguez
This paper presents a {theoretical study} of the problem of verifying linearizability at runtime, where one seeks for a concurrent algorithm for verifying that the current executio…