@incollection{2017-ancona-RP,
  title     = {An Abstract Machine for Asynchronous Programs with Closures and Priority Queues},
  author    = {Davide Ancona and Giorgio Delzanno and Luca Franceschini and Maurizio Leotta and Enrico Prampolini and Marina Ribaudo and Filippo Ricca},
  booktitle = {Proceedings of 11th International Workshop on Reachability Problems (RP 2017)},
  editor    = {Hague, Matthew and Potapov, Igor},
  pages     = {59-74},
  publisher = {Springer},
  year      = {2017},
  volume    = {10506},
  series    = {LNCS},
  url       = {https://doi.org/10.1007/978-3-319-67089-8_5},
  doi       = {10.1007/978-3-319-67089-8_5},
  isbn      = {978-3-319-67088-1},
}

{"_id":"8AFKvfBH4KPQq9wSS","bibbaseid":"ancona-delzanno-franceschini-leotta-prampolini-ribaudo-ricca-anabstractmachineforasynchronousprogramswithclosuresandpriorityqueues-2017","author_short":["Ancona, D.","Delzanno, G.","Franceschini, L.","Leotta, M.","Prampolini, E.","Ribaudo, M.","Ricca, F."],"bibdata":{"bibtype":"incollection","type":"incollection","title":"An Abstract Machine for Asynchronous Programs with Closures and Priority Queues","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":[]}],"booktitle":"Proceedings of 11th International Workshop on Reachability Problems (RP 2017)","editor":[{"propositions":[],"lastnames":["Hague"],"firstnames":["Matthew"],"suffixes":[]},{"propositions":[],"lastnames":["Potapov"],"firstnames":["Igor"],"suffixes":[]}],"pages":"59-74","publisher":"Springer","year":"2017","volume":"10506","series":"LNCS","url":"https://doi.org/10.1007/978-3-319-67089-8_5","doi":"10.1007/978-3-319-67089-8_5","isbn":"978-3-319-67088-1","bibtex":"@incollection{2017-ancona-RP,\r\n title = {An Abstract Machine for Asynchronous Programs with Closures and Priority Queues},\r\n author = {Davide Ancona and Giorgio Delzanno and Luca Franceschini and Maurizio Leotta and Enrico Prampolini and Marina Ribaudo and Filippo Ricca},\r\n booktitle = {Proceedings of 11th International Workshop on Reachability Problems (RP 2017)},\r\n editor = {Hague, Matthew and Potapov, Igor},\r\n pages = {59-74},\r\n publisher = {Springer},\r\n year = {2017},\r\n volume = {10506},\r\n series = {LNCS},\r\n url = {https://doi.org/10.1007/978-3-319-67089-8_5},\r\n doi = {10.1007/978-3-319-67089-8_5},\r\n isbn = {978-3-319-67088-1},\r\n}\r\n\r\n","author_short":["Ancona, D.","Delzanno, G.","Franceschini, L.","Leotta, M.","Prampolini, E.","Ribaudo, M.","Ricca, F."],"editor_short":["Hague, M.","Potapov, I."],"key":"2017-ancona-RP","id":"2017-ancona-RP","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":{}},"downloads":0,"html":""},"bibtype":"incollection","biburl":"http://sepl.dibris.unige.it/publications.bib","dataSources":["L4MmnFQ9js4SGijb8"],"keywords":[],"search_terms":["abstract","machine","asynchronous","programs","closures","priority","queues","ancona","delzanno","franceschini","leotta","prampolini","ribaudo","ricca"],"title":"An Abstract Machine for Asynchronous Programs with Closures and Priority Queues","year":2017}