---
_id: '20274'
author:
- first_name: Eleni
  full_name: Bila, Eleni
  last_name: Bila
- first_name: Simon
  full_name: Doherty, Simon
  last_name: Doherty
- first_name: Brijesh
  full_name: Dongol, Brijesh
  last_name: Dongol
- 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: 'Bila E, Doherty S, Dongol B, Derrick J, Schellhorn G, Wehrheim H. Defining
    and Verifying Durable Opacity: Correctness for Persistent Software Transactional
    Memory. In: Gotsman A, Sokolova A, eds. <i>Formal Techniques for Distributed Objects,
    Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE}
    2020, Held as Part of the 15th International Federated Conference on Distributed
    Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings</i>.
    Vol 12136. Lecture Notes in Computer Science. Springer; 2020:39-58. doi:<a href="https://doi.org/10.1007/978-3-030-50086-3\_3">10.1007/978-3-030-50086-3\_3</a>'
  apa: 'Bila, E., Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., &#38; Wehrheim,
    H. (2020). Defining and Verifying Durable Opacity: Correctness for Persistent
    Software Transactional Memory. In A. Gotsman &#38; A. Sokolova (Eds.), <i>Formal
    Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG}
    6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International
    Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta,
    Malta, June 15-19, 2020, Proceedings</i> (Vol. 12136, pp. 39–58). Springer. <a
    href="https://doi.org/10.1007/978-3-030-50086-3\_3">https://doi.org/10.1007/978-3-030-50086-3\_3</a>'
  bibtex: '@inproceedings{Bila_Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2020, series={Lecture
    Notes in Computer Science}, title={Defining and Verifying Durable Opacity: Correctness
    for Persistent Software Transactional Memory}, volume={12136}, DOI={<a href="https://doi.org/10.1007/978-3-030-50086-3\_3">10.1007/978-3-030-50086-3\_3</a>},
    booktitle={Formal Techniques for Distributed Objects, Components, and Systems
    - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of
    the 15th International Federated Conference on Distributed Computing Techniques,
    DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings}, publisher={Springer},
    author={Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and
    Schellhorn, Gerhard and Wehrheim, Heike}, editor={Gotsman, Alexey and Sokolova,
    AnaEditors}, year={2020}, pages={39–58}, collection={Lecture Notes in Computer
    Science} }'
  chicago: 'Bila, Eleni, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn,
    and Heike Wehrheim. “Defining and Verifying Durable Opacity: Correctness for Persistent
    Software Transactional Memory.” In <i>Formal Techniques for Distributed Objects,
    Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE}
    2020, Held as Part of the 15th International Federated Conference on Distributed
    Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings</i>,
    edited by Alexey Gotsman and Ana Sokolova, 12136:39–58. Lecture Notes in Computer
    Science. Springer, 2020. <a href="https://doi.org/10.1007/978-3-030-50086-3\_3">https://doi.org/10.1007/978-3-030-50086-3\_3</a>.'
  ieee: 'E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim,
    “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional
    Memory,” in <i>Formal Techniques for Distributed Objects, Components, and Systems
    - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of
    the 15th International Federated Conference on Distributed Computing Techniques,
    DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings</i>, 2020, vol.
    12136, pp. 39–58.'
  mla: 'Bila, Eleni, et al. “Defining and Verifying Durable Opacity: Correctness for
    Persistent Software Transactional Memory.” <i>Formal Techniques for Distributed
    Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference,
    {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed
    Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings</i>,
    edited by Alexey Gotsman and Ana Sokolova, vol. 12136, Springer, 2020, pp. 39–58,
    doi:<a href="https://doi.org/10.1007/978-3-030-50086-3\_3">10.1007/978-3-030-50086-3\_3</a>.'
  short: 'E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim,
    in: A. Gotsman, A. Sokolova (Eds.), Formal Techniques for Distributed Objects,
    Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE}
    2020, Held as Part of the 15th International Federated Conference on Distributed
    Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings,
    Springer, 2020, pp. 39–58.'
date_created: 2020-11-04T08:27:09Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-50086-3\_3
editor:
- first_name: Alexey
  full_name: Gotsman, Alexey
  last_name: Gotsman
- first_name: Ana
  full_name: Sokolova, Ana
  last_name: Sokolova
intvolume: '     12136'
language:
- iso: eng
page: 39-58
project:
- _id: '78'
  name: Validation of Software Transactional Memory
publication: Formal Techniques for Distributed Objects, Components, and Systems -
  40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the
  15th International Federated Conference on Distributed Computing Techniques, DisCoTec
  2020, Valletta, Malta, June 15-19, 2020, Proceedings
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'Defining and Verifying Durable Opacity: Correctness for Persistent Software
  Transactional Memory'
type: conference
user_id: '29719'
volume: 12136
year: '2020'
...