@inproceedings{DBLP:conf/datalog/MarczakACHM12,
  author       = {William R. Marczak and
                  Peter Alvaro and
                  Neil Conway and
                  Joseph M. Hellerstein and
                  David Maier},
  title        = {Confluence Analysis for Distributed Programs: {A} Model-Theoretic
                  Approach},
  booktitle    = {Datalog in Academia and Industry - Second International Workshop,
                  Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
  pages        = {135--147},
  year         = {2012},
  crossref     = {DBLP:conf/datalog/2012},
  url          = {https://doi.org/10.1007/978-3-642-32925-8\_14},
  doi          = {10.1007/978-3-642-32925-8\_14},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/datalog/MarczakACHM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"CPudspTs9kuD6PBbQ","bibbaseid":"marczak-alvaro-conway-hellerstein-maier-confluenceanalysisfordistributedprogramsamodeltheoreticapproach-2012","author_short":["Marczak, W. R.","Alvaro, P.","Conway, N.","Hellerstein, J. M.","Maier, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["William","R."],"propositions":[],"lastnames":["Marczak"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Alvaro"],"suffixes":[]},{"firstnames":["Neil"],"propositions":[],"lastnames":["Conway"],"suffixes":[]},{"firstnames":["Joseph","M."],"propositions":[],"lastnames":["Hellerstein"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Maier"],"suffixes":[]}],"title":"Confluence Analysis for Distributed Programs: A Model-Theoretic Approach","booktitle":"Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings","pages":"135–147","year":"2012","crossref":"DBLP:conf/datalog/2012","url":"https://doi.org/10.1007/978-3-642-32925-8\\_14","doi":"10.1007/978-3-642-32925-8_14","timestamp":"Tue, 14 May 2019 10:00:46 +0200","biburl":"https://dblp.org/rec/conf/datalog/MarczakACHM12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/datalog/MarczakACHM12,\n author = {William R. Marczak and\n Peter Alvaro and\n Neil Conway and\n Joseph M. Hellerstein and\n David Maier},\n title = {Confluence Analysis for Distributed Programs: {A} Model-Theoretic\n Approach},\n booktitle = {Datalog in Academia and Industry - Second International Workshop,\n Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},\n pages = {135--147},\n year = {2012},\n crossref = {DBLP:conf/datalog/2012},\n url = {https://doi.org/10.1007/978-3-642-32925-8\\_14},\n doi = {10.1007/978-3-642-32925-8\\_14},\n timestamp = {Tue, 14 May 2019 10:00:46 +0200},\n biburl = {https://dblp.org/rec/conf/datalog/MarczakACHM12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Marczak, W. R.","Alvaro, P.","Conway, N.","Hellerstein, J. M.","Maier, D."],"key":"DBLP:conf/datalog/MarczakACHM12","id":"DBLP:conf/datalog/MarczakACHM12","bibbaseid":"marczak-alvaro-conway-hellerstein-maier-confluenceanalysisfordistributedprogramsamodeltheoreticapproach-2012","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-32925-8\\_14"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/h/Hellerstein:Joseph_M=","dataSources":["3SG8d6TqWdLKqttYB"],"keywords":[],"search_terms":["confluence","analysis","distributed","programs","model","theoretic","approach","marczak","alvaro","conway","hellerstein","maier"],"title":"Confluence Analysis for Distributed Programs: A Model-Theoretic Approach","year":2012}