BibTeX record journals/corr/abs-1110-4160

• > Home > journals/corr/abs-1110-4160

@inproceedings{DBLP:journals/corr/abs-1110-4160,
  author       = {Prodromos Gerakios and
                  Nikolaos Papaspyrou and
                  Konstantinos Sagonas},
  editor       = {Kohei Honda and
                  Alan Mycroft},
  title        = {A Type System for Unstructured Locking that Guarantees Deadlock Freedom
                  without Imposing a Lock Ordering},
  booktitle    = {Proceedings Third Workshop on Programming Language Approaches to Concurrency
                  and communication-cEntric Software, {PLACES} 2010, Paphos, Cyprus,
                  21st March 2010},
  series       = {{EPTCS}},
  volume       = {69},
  pages        = {44--58},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.69.4},
  doi          = {10.4204/EPTCS.69.4},
  timestamp    = {Sun, 15 Jan 2023 14:37:53 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4160.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}