Putting logic-based distributed systems on stable grounds

Putting logic-based distributed systems on stable grounds. Ameloot, T. J., den Bussche, J. V., Marczak, W. R., Alvaro, P., & Hellerstein, J. M. Theory Pract. Log. Program., 16(4):378–417, 2016.

Paper doi bibtex

@article{DBLP:journals/tplp/AmelootBMAH16,
  author       = {Tom J. Ameloot and
                  Jan Van den Bussche and
                  William R. Marczak and
                  Peter Alvaro and
                  Joseph M. Hellerstein},
  title        = {Putting logic-based distributed systems on stable grounds},
  journal      = {Theory Pract. Log. Program.},
  volume       = {16},
  number       = {4},
  pages        = {378--417},
  year         = {2016},
  url          = {https://doi.org/10.1017/S1471068415000381},
  doi          = {10.1017/S1471068415000381},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/AmelootBMAH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0

{"_id":"mZnnJi2uXtRGdtWhz","bibbaseid":"ameloot-denbussche-marczak-alvaro-hellerstein-puttinglogicbaseddistributedsystemsonstablegrounds-2016","author_short":["Ameloot, T. J.","den Bussche, J. V.","Marczak, W. R.","Alvaro, P.","Hellerstein, J. M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Tom","J."],"propositions":[],"lastnames":["Ameloot"],"suffixes":[]},{"firstnames":["Jan","Van"],"propositions":["den"],"lastnames":["Bussche"],"suffixes":[]},{"firstnames":["William","R."],"propositions":[],"lastnames":["Marczak"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Alvaro"],"suffixes":[]},{"firstnames":["Joseph","M."],"propositions":[],"lastnames":["Hellerstein"],"suffixes":[]}],"title":"Putting logic-based distributed systems on stable grounds","journal":"Theory Pract. Log. Program.","volume":"16","number":"4","pages":"378–417","year":"2016","url":"https://doi.org/10.1017/S1471068415000381","doi":"10.1017/S1471068415000381","timestamp":"Fri, 09 Apr 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/tplp/AmelootBMAH16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tplp/AmelootBMAH16,\n author = {Tom J. Ameloot and\n Jan Van den Bussche and\n William R. Marczak and\n Peter Alvaro and\n Joseph M. Hellerstein},\n title = {Putting logic-based distributed systems on stable grounds},\n journal = {Theory Pract. Log. Program.},\n volume = {16},\n number = {4},\n pages = {378--417},\n year = {2016},\n url = {https://doi.org/10.1017/S1471068415000381},\n doi = {10.1017/S1471068415000381},\n timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tplp/AmelootBMAH16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ameloot, T. J.","den Bussche, J. V.","Marczak, W. R.","Alvaro, P.","Hellerstein, J. M."],"key":"DBLP:journals/tplp/AmelootBMAH16","id":"DBLP:journals/tplp/AmelootBMAH16","bibbaseid":"ameloot-denbussche-marczak-alvaro-hellerstein-puttinglogicbaseddistributedsystemsonstablegrounds-2016","role":"author","urls":{"Paper":"https://doi.org/10.1017/S1471068415000381"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/h/Hellerstein:Joseph_M=","dataSources":["3SG8d6TqWdLKqttYB"],"keywords":[],"search_terms":["putting","logic","based","distributed","systems","stable","grounds","ameloot","den bussche","marczak","alvaro","hellerstein"],"title":"Putting logic-based distributed systems on stable grounds","year":2016}