An Abstract Machine for Asynchronous Programs with Closures and Priority Queues - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Davide Ancona' in GoogleThis author has not been identified. Look up 'Giorgio Delzanno' in GoogleThis author has not been identified. Look up 'Luca Franceschini' in GoogleThis author has not been identified. Look up 'Maurizio Leotta' in GoogleThis author has not been identified. Look up 'Enrico Prampolini' in GoogleThis author has not been identified. Look up 'Marina Ribaudo' in GoogleThis author has not been identified. Look up 'Filippo Ricca' in Google

runs on WebDSL