Davide Ancona, Giorgio Delzanno, Luca Franceschini, Maurizio Leotta, Enrico Prampolini, Marina Ribaudo, Filippo Ricca. An Abstract Machine for Asynchronous Programs with Closures and Priority Queues. In Matthew Hague, Igor Potapov, editors, Reachability Problems - 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. Volume 10506 of Lecture Notes in Computer Science, pages 59-74, Springer, 2017. [doi]
Abstract is missing.