@inproceedings{DBLP:conf/rp/AnconaDFLPRR17,
  author       = {Davide Ancona and
                  Giorgio Delzanno and
                  Luca Franceschini and
                  Maurizio Leotta and
                  Enrico Prampolini and
                  Marina Ribaudo and
                  Filippo Ricca},
  editor       = {Matthew Hague and
                  Igor Potapov},
  title        = {An Abstract Machine for Asynchronous Programs with Closures and Priority
                  Queues},
  booktitle    = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
                  UK, September 7-9, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10506},
  pages        = {59--74},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-67089-8\_5},
  doi          = {10.1007/978-3-319-67089-8\_5},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/AnconaDFLPRR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"WTD4YXS7r63bL4HyB","bibbaseid":"ancona-delzanno-franceschini-leotta-prampolini-ribaudo-ricca-anabstractmachineforasynchronousprogramswithclosuresandpriorityqueues-2017","downloads":0,"creationDate":"2017-09-02T09:36:24.708Z","title":"An Abstract Machine for Asynchronous Programs with Closures and Priority Queues","author_short":["Ancona, D.","Delzanno, G.","Franceschini, L.","Leotta, M.","Prampolini, E.","Ribaudo, M.","Ricca, F."],"year":2017,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/d/GDelzanno.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Giorgio"],"propositions":[],"lastnames":["Delzanno"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Franceschini"],"suffixes":[]},{"firstnames":["Maurizio"],"propositions":[],"lastnames":["Leotta"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Prampolini"],"suffixes":[]},{"firstnames":["Marina"],"propositions":[],"lastnames":["Ribaudo"],"suffixes":[]},{"firstnames":["Filippo"],"propositions":[],"lastnames":["Ricca"],"suffixes":[]}],"editor":[{"firstnames":["Matthew"],"propositions":[],"lastnames":["Hague"],"suffixes":[]},{"firstnames":["Igor"],"propositions":[],"lastnames":["Potapov"],"suffixes":[]}],"title":"An Abstract Machine for Asynchronous Programs with Closures and Priority Queues","booktitle":"Reachability Problems - 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings","series":"Lecture Notes in Computer Science","volume":"10506","pages":"59–74","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-67089-8\\_5","doi":"10.1007/978-3-319-67089-8_5","timestamp":"Tue, 14 May 2019 10:00:51 +0200","biburl":"https://dblp.org/rec/conf/rp/AnconaDFLPRR17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/rp/AnconaDFLPRR17,\n author = {Davide Ancona and\n Giorgio Delzanno and\n Luca Franceschini and\n Maurizio Leotta and\n Enrico Prampolini and\n Marina Ribaudo and\n Filippo Ricca},\n editor = {Matthew Hague and\n Igor Potapov},\n title = {An Abstract Machine for Asynchronous Programs with Closures and Priority\n Queues},\n booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,\n UK, September 7-9, 2017, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10506},\n pages = {59--74},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-67089-8\\_5},\n doi = {10.1007/978-3-319-67089-8\\_5},\n timestamp = {Tue, 14 May 2019 10:00:51 +0200},\n biburl = {https://dblp.org/rec/conf/rp/AnconaDFLPRR17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ancona, D.","Delzanno, G.","Franceschini, L.","Leotta, M.","Prampolini, E.","Ribaudo, M.","Ricca, F."],"editor_short":["Hague, M.","Potapov, I."],"key":"DBLP:conf/rp/AnconaDFLPRR17","id":"DBLP:conf/rp/AnconaDFLPRR17","bibbaseid":"ancona-delzanno-franceschini-leotta-prampolini-ribaudo-ricca-anabstractmachineforasynchronousprogramswithclosuresandpriorityqueues-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-67089-8\\_5"},"metadata":{"authorlinks":{"leotta, m":"https://person.dibris.unige.it/leotta-maurizio/publications.php"}},"downloads":0},"search_terms":["abstract","machine","asynchronous","programs","closures","priority","queues","ancona","delzanno","franceschini","leotta","prampolini","ribaudo","ricca"],"keywords":[],"authorIDs":["55006f3a8eef46c572000988","550075158eef46c5720009bb","5a6748120cfc9c704200005c","5deb777d9e04d1df010000d8","5def500866cfe0df010000e7","5dff1cba7769f4de01000077","5e0237bf4a106ede010000cb","5e05f65b6a743cde010000b0","5e0ac75d27625ede010000a2","5e1482a708c265de0100008f","5e15ab4ee8bfcff20100018e","5e1f7a9d08195af301000047","5e2017fc453fb7df010000fb","5e2318d9327a15de01000011","5e27d20468d625de01000014","5e2cb33ecca05fde010000b7","5e3acca7f2a00cdf010001a1","5e3f4a0e77baf5df010000b2","5e5490a1fd5b13df0100005a","5e578352cef9b7de01000036","5e5ccb83aab7afde01000067","5e6070ce9119f0de01000081","5e61032a31c7d3de0100019b","5e646d9ee1ac00de010000a9","9f6zgbR3JHtwqsijZ","C6mhrH6c2xwNneWx5","Pz4fokfC9WEdfjBEd","TG7ZJxaBNKhCmi8ra","YNevcgD57CncTNskK","a99yMwTJRm8ezEoTA","cmSeARFJMpYepXtZw","eP7pjEJ4W6yP7rgdE","fw8BgTXKHC8XNyATL","is8MSfdaNdr9La2c5","jJE4nda7tHT3JW3bD","my9fpYXQzsRRsHecc","oK9xcwvdx6HRcWu6g","qRNp2va3tSuJkFvde","vScAoCmy5nQdJh87Q","wL9qt9zZNZQJKfuwt","yBT79RWXy7W3eSdxp"],"dataSources":["LXjRbk5PnzwuMzpa3","L4MmnFQ9js4SGijb8","8SWG3qY45gh6hT2WD","hbmDF3mowSFP7RzLi","CNS5YERBRqLdN5aYr"]}