Login / Signup
Gilde Valeria Rodríguez
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Verification Method
Asynchronous Cellular Automata
Privacy Policies
Access Control
Top Venues
CoRR
PODC
</>
Publications
</>
Armando Castañeda
,
Gilde Valeria Rodríguez
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability.
CoRR
(2023)
Armando Castañeda
,
Gilde Valeria Rodríguez
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability.
PODC
(2023)