@inproceedings{DBLP:conf/concur/BartolettiBM18,
  author    = {Massimo Bartoletti and
               Laura Bocchi and
               Maurizio Murgia},
  editor    = {Sven Schewe and
               Lijun Zhang},
  title     = {Progress-Preserving Refinements of {CTA}},
  booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
               September 4-7, 2018, Beijing, China},
  series    = {LIPIcs},
  volume    = {118},
  pages     = {40:1--40:19},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2018},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.40},
  doi       = {10.4230/LIPIcs.CONCUR.2018.40},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/concur/BartolettiBM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"QC5THi7dFDw5WtJiG","bibbaseid":"bartoletti-bocchi-murgia-progresspreservingrefinementsofcta-2018","author_short":["Bartoletti, M.","Bocchi, L.","Murgia, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Massimo"],"propositions":[],"lastnames":["Bartoletti"],"suffixes":[]},{"firstnames":["Laura"],"propositions":[],"lastnames":["Bocchi"],"suffixes":[]},{"firstnames":["Maurizio"],"propositions":[],"lastnames":["Murgia"],"suffixes":[]}],"editor":[{"firstnames":["Sven"],"propositions":[],"lastnames":["Schewe"],"suffixes":[]},{"firstnames":["Lijun"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]}],"title":"Progress-Preserving Refinements of CTA","booktitle":"29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China","series":"LIPIcs","volume":"118","pages":"40:1–40:19","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"2018","url":"https://doi.org/10.4230/LIPIcs.CONCUR.2018.40","doi":"10.4230/LIPIcs.CONCUR.2018.40","timestamp":"Tue, 11 Feb 2020 15:52:14 +0100","biburl":"https://dblp.org/rec/conf/concur/BartolettiBM18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/concur/BartolettiBM18,\n author = {Massimo Bartoletti and\n Laura Bocchi and\n Maurizio Murgia},\n editor = {Sven Schewe and\n Lijun Zhang},\n title = {Progress-Preserving Refinements of {CTA}},\n booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,\n September 4-7, 2018, Beijing, China},\n series = {LIPIcs},\n volume = {118},\n pages = {40:1--40:19},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik},\n year = {2018},\n url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.40},\n doi = {10.4230/LIPIcs.CONCUR.2018.40},\n timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},\n biburl = {https://dblp.org/rec/conf/concur/BartolettiBM18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bartoletti, M.","Bocchi, L.","Murgia, M."],"editor_short":["Schewe, S.","Zhang, L."],"key":"DBLP:conf/concur/BartolettiBM18","id":"DBLP:conf/concur/BartolettiBM18","bibbaseid":"bartoletti-bocchi-murgia-progresspreservingrefinementsofcta-2018","role":"author","urls":{"Paper":"https://doi.org/10.4230/LIPIcs.CONCUR.2018.40"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://dltgroup.dmi.unipg.it/temp_files/global.bib","dataSources":["p8HMHiPQquNz6L5bn"],"keywords":[],"search_terms":["progress","preserving","refinements","cta","bartoletti","bocchi","murgia"],"title":"Progress-Preserving Refinements of CTA","year":2018}