@inproceedings{DBLP:journals/corr/BortolussiNGGHL15,
  author    = {Luca Bortolussi and
               Rocco De Nicola and
               Vashti Galpin and
               Stephen Gilmore and
               Jane Hillston and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  editor    = {Nathalie Bertrand and
               Mirco Tribastone},
  title     = {{CARMA:} Collective Adaptive Resource-sharing Markovian Agents},
  booktitle = {Proceedings Thirteenth Workshop on Quantitative Aspects of Programming
               Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015},
  series    = {{EPTCS}},
  volume    = {194},
  pages     = {16--31},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.194.2},
  doi       = {10.4204/EPTCS.194.2},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BortolussiNGGHL15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"aBjxv7K4RhmfQziC7","bibbaseid":"bortolussi-nicola-galpin-gilmore-hillston-latella-loreti-massink-carmacollectiveadaptiveresourcesharingmarkovianagents-2015","authorIDs":[],"author_short":["Bortolussi, L.","Nicola, R. D.","Galpin, V.","Gilmore, S.","Hillston, J.","Latella, D.","Loreti, M.","Massink, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Bortolussi"],"suffixes":[]},{"firstnames":["Rocco","De"],"propositions":[],"lastnames":["Nicola"],"suffixes":[]},{"firstnames":["Vashti"],"propositions":[],"lastnames":["Galpin"],"suffixes":[]},{"firstnames":["Stephen"],"propositions":[],"lastnames":["Gilmore"],"suffixes":[]},{"firstnames":["Jane"],"propositions":[],"lastnames":["Hillston"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Latella"],"suffixes":[]},{"firstnames":["Michele"],"propositions":[],"lastnames":["Loreti"],"suffixes":[]},{"firstnames":["Mieke"],"propositions":[],"lastnames":["Massink"],"suffixes":[]}],"editor":[{"firstnames":["Nathalie"],"propositions":[],"lastnames":["Bertrand"],"suffixes":[]},{"firstnames":["Mirco"],"propositions":[],"lastnames":["Tribastone"],"suffixes":[]}],"title":"CARMA: Collective Adaptive Resource-sharing Markovian Agents","booktitle":"Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015","series":"EPTCS","volume":"194","pages":"16–31","year":"2015","url":"https://doi.org/10.4204/EPTCS.194.2","doi":"10.4204/EPTCS.194.2","timestamp":"Mon, 15 Jun 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/BortolussiNGGHL15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/corr/BortolussiNGGHL15,\n author = {Luca Bortolussi and\n Rocco De Nicola and\n Vashti Galpin and\n Stephen Gilmore and\n Jane Hillston and\n Diego Latella and\n Michele Loreti and\n Mieke Massink},\n editor = {Nathalie Bertrand and\n Mirco Tribastone},\n title = {{CARMA:} Collective Adaptive Resource-sharing Markovian Agents},\n booktitle = {Proceedings Thirteenth Workshop on Quantitative Aspects of Programming\n Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015},\n series = {{EPTCS}},\n volume = {194},\n pages = {16--31},\n year = {2015},\n url = {https://doi.org/10.4204/EPTCS.194.2},\n doi = {10.4204/EPTCS.194.2},\n timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/BortolussiNGGHL15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bortolussi, L.","Nicola, R. D.","Galpin, V.","Gilmore, S.","Hillston, J.","Latella, D.","Loreti, M.","Massink, M."],"editor_short":["Bertrand, N.","Tribastone, M."],"key":"DBLP:journals/corr/BortolussiNGGHL15","id":"DBLP:journals/corr/BortolussiNGGHL15","bibbaseid":"bortolussi-nicola-galpin-gilmore-hillston-latella-loreti-massink-carmacollectiveadaptiveresourcesharingmarkovianagents-2015","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.194.2"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-08-07T16:49:57.564Z","downloads":0,"keywords":[],"search_terms":["carma","collective","adaptive","resource","sharing","markovian","agents","bortolussi","nicola","galpin","gilmore","hillston","latella","loreti","massink"],"title":"CARMA: Collective Adaptive Resource-sharing Markovian Agents","year":2015,"dataSources":["FxajFA698pihqBfpX"]}