---
_id: '3208'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a
Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, eds. Formal Methods
for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International
Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture
Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6'
apa: Derrick, J., Schellhorn, G., & Wehrheim, H. (2008). Mechanizing a Correctness
Proof for a Lock-Free Concurrent Stack. In G. Barthe & F. S. de Boer (Eds.),
Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings
(pp. 78--95). https://doi.org/10.1007/978-3-540-68863-1_6
bibtex: '@inproceedings{Derrick_Schellhorn_Wehrheim_2008, series={Lecture Notes
in Computer Science}, title={Mechanizing a Correctness Proof for a Lock-Free Concurrent
Stack}, DOI={10.1007/978-3-540-68863-1_6},
booktitle={Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008,
Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike},
editor={Barthe, Gilles and S. de Boer, FrankEditors}, year={2008}, pages={78--95},
collection={Lecture Notes in Computer Science} }'
chicago: Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanizing a Correctness
Proof for a Lock-Free Concurrent Stack.” In Formal Methods for Open Object-Based
Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008,
Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank
S. de Boer, 78--95. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-68863-1_6.
ieee: J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanizing a Correctness Proof
for a Lock-Free Concurrent Stack,” in Formal Methods for Open Object-Based
Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008,
Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
mla: Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent
Stack.” Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008,
Proceedings, edited by Gilles Barthe and Frank S. de Boer, 2008, pp. 78--95,
doi:10.1007/978-3-540-68863-1_6.
short: 'J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (Eds.),
Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1
International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings,
2008, pp. 78--95.'
date_created: 2018-06-13T09:52:29Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-540-68863-1_6
editor:
- first_name: Gilles
full_name: Barthe, Gilles
last_name: Barthe
- first_name: Frank
full_name: S. de Boer, Frank
last_name: S. de Boer
page: 78--95
publication: Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008,
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
type: conference
user_id: '29719'
year: '2008'
...