Showing 2026Show all
3 papers · 1 filter
cs.DC2026
On the Limits of Causal Observation in Shared-Memory Systems
Gilde Valeria Rodríguez, Armando Castañeda, Miguel Piña
Reasoning about concurrent system correctness requires detecting real-time operation precedence (<_H). In asynchronous shared-memory systems, real-time precedence and information-f…
cs.DC2026
Lattice Aggregation in Distributed Verification under Crash and Byzantine Failures
Gilde Valeria Rodríguez, Borzoo Bonakdarpour, Armando Castañeda +1
We introduce c-Lattice Aggregation, a fault-tolerant reconstruction problem for distributed verification under crash and Byzantine failures. In our setting, n asynchronous processe…
cs.DC2026
Read-Modify-Writable Snapshots from Read/Write operations
Armando Castañeda, Braulio Ramses Hernández Martínez
In the context of asynchronous concurrent shared-memory systems, a snapshot algorithm allows failure-prone processes to concurrently and atomically write on the entries of a shared…