arrow
A

Armando Castañeda

Universidad Nacional Autonoma de Mexico
H指数:13
被引数:894
浏览量:0

个人简介

暂无内容

教育背景

暂无内容

工作经历

暂无内容

荣誉奖项

暂无内容

Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability

异步无等待运行时线性化验证与强制执行

2026-02-010
PRE
Recent Advances on Principles of Concurrent Data Structures
2024-08-010
PRE
Locally solvable tasks and the limitations of valency arguments *
2023-06-010
OAAI
A Linearizabilitybased Hierarchy for Concurrent Specifications
2022-12-203
PRE
Separating lock-freedom from wait-freedom at every level of the consensus hierarchy
2022-05-010
PRE
Nontrivial and universal helping for wait-free queues and stacks
2018-11-016
OAAI
PREPARATION OF 8-MEMBERED CYCLIC ETHERS BY LEWIS ACID PROMOTED ACETAL ALKENE CYCLIZATIONS
2002-05-0197
PREAI
EFFICIENT PREPARATIONS OF 8-MEMBERED AND 9-MEMBERED CYCLIC ETHERS
2002-05-0176
PREAI