@inproceedings{DBLP:conf/aplas/VriesKH10,
  author    = {Edsko de Vries and
               Vasileios Koutavas and
               Matthew Hennessy},
  editor    = {Kazunori Ueda},
  title     = {Liveness of Communicating Transactions (Extended Abstract)},
  booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
               Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6461},
  pages     = {392--407},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17164-2_27},
  doi       = {10.1007/978-3-642-17164-2_27},
  timestamp = {Fri, 19 May 2017 01:25:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aplas/VriesKH10},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  urlAuthors_pdf = {transccs-aplas10.pdf}
}

{"_id":"hZWL2djunqYF89JdB","bibbaseid":"devries-koutavas-hennessy-livenessofcommunicatingtransactionsextendedabstract-2010","downloads":0,"creationDate":"2018-01-12T13:55:33.991Z","title":"Liveness of Communicating Transactions (Extended Abstract)","author_short":["de Vries, E.","Koutavas, V.","Hennessy, M."],"year":2010,"bibtype":"inproceedings","biburl":"https://www.scss.tcd.ie/Vasileios.Koutavas/publications/Koutavas_Vasileios.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Edsko"],"propositions":["de"],"lastnames":["Vries"],"suffixes":[]},{"firstnames":["Vasileios"],"propositions":[],"lastnames":["Koutavas"],"suffixes":[]},{"firstnames":["Matthew"],"propositions":[],"lastnames":["Hennessy"],"suffixes":[]}],"editor":[{"firstnames":["Kazunori"],"propositions":[],"lastnames":["Ueda"],"suffixes":[]}],"title":"Liveness of Communicating Transactions (Extended Abstract)","booktitle":"Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings","series":"Lecture Notes in Computer Science","volume":"6461","pages":"392–407","publisher":"Springer","year":"2010","url":"https://doi.org/10.1007/978-3-642-17164-2_27","doi":"10.1007/978-3-642-17164-2_27","timestamp":"Fri, 19 May 2017 01:25:54 +0200","biburl":"http://dblp.org/rec/bib/conf/aplas/VriesKH10","bibsource":"dblp computer science bibliography, http://dblp.org","urlauthors_pdf":"transccs-aplas10.pdf","bibtex":"@inproceedings{DBLP:conf/aplas/VriesKH10,\n author = {Edsko de Vries and\n Vasileios Koutavas and\n Matthew Hennessy},\n editor = {Kazunori Ueda},\n title = {Liveness of Communicating Transactions (Extended Abstract)},\n booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,\n Shanghai, China, November 28 - December 1, 2010. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {6461},\n pages = {392--407},\n publisher = {Springer},\n year = {2010},\n url = {https://doi.org/10.1007/978-3-642-17164-2_27},\n doi = {10.1007/978-3-642-17164-2_27},\n timestamp = {Fri, 19 May 2017 01:25:54 +0200},\n biburl = {http://dblp.org/rec/bib/conf/aplas/VriesKH10},\n bibsource = {dblp computer science bibliography, http://dblp.org},\n urlAuthors_pdf = {transccs-aplas10.pdf}\n}\n\n","author_short":["de Vries, E.","Koutavas, V.","Hennessy, M."],"editor_short":["Ueda, K."],"key":"DBLP:conf/aplas/VriesKH10","id":"DBLP:conf/aplas/VriesKH10","bibbaseid":"devries-koutavas-hennessy-livenessofcommunicatingtransactionsextendedabstract-2010","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-17164-2_27","Authors pdf":"https://www.scss.tcd.ie/Vasileios.Koutavas/publications/transccs-aplas10.pdf"},"metadata":{"authorlinks":{"koutavas, v":"https://www.scss.tcd.ie/Vasileios.Koutavas/publications/index.html"}},"downloads":0,"html":""},"search_terms":["liveness","communicating","transactions","extended","abstract","de vries","koutavas","hennessy"],"keywords":[],"authorIDs":["34oZAMoHshTnDE8D4","5a58bd3bd503bb2e6600003f","5dkn56JiJ8Fqw9DTy","5e4071f1b531d7de0100003d","FzSPDfLnPXR5LcbPm","H935HqJuNwGxwqQWS","fAE5veAPfvdM7zwoC","xRskxEqWXrbwnB5BG"],"dataSources":["4g7dRdtf79M7CFSWQ"]}