3 papers
cs.DC2026
On the Limits of Causal Observation in Shared-Memory Systems
Gilde Valeria Rodríguez, Armando Castañeda, Miguel Piña
Determining whether one concurrent operation completed before another began is a fundamental prerequisite for reasoning about the correctness of concurrent systems. We formalize th…
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.DC2025
Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems
Armando Castañeda, Gilde Valeria Rodríguez
Implementing correct distributed systems is an error-prone task. Runtime Verification (RV) offers a lightweight formal method to improve reliability by monitoring system executions…