TY  - CONF

T1  - Mechanizing a correctness proof for a lock-free concurrent stack

JO  - FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS

PY  - 2008/01/01

AU  - Derrick J

AU  - Schellhorn G

AU  - Wehrheim H

ED  - Barthe G

ED  - DeBoer FS

VL  - 5051

SP  - 78

EP  - 95

Y2  - 2024/12/22

ER  -