{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:21:33Z","timestamp":1725909693874},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319670881"},{"type":"electronic","value":"9783319670898"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67089-8_5","type":"book-chapter","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T12:47:26Z","timestamp":1503578846000},"page":"59-74","source":"Crossref","is-referenced-by-count":1,"title":["An Abstract Machine for Asynchronous Programs with Closures and Priority Queues"],"prefix":"10.1007","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[]},{"given":"Giorgio","family":"Delzanno","sequence":"additional","affiliation":[]},{"given":"Luca","family":"Franceschini","sequence":"additional","affiliation":[]},{"given":"Maurizio","family":"Leotta","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Prampolini","sequence":"additional","affiliation":[]},{"given":"Marina","family":"Ribaudo","sequence":"additional","affiliation":[]},{"given":"Filippo","family":"Ricca","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,25]]},"reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"crossref","first-page":"12:1","DOI":"10.1145\/2876441","volume":"25","author":"S Alimadadi","year":"2016","unstructured":"Alimadadi, S., Sequeira, S., Mesbah, A., Pattabiraman, K.: Understanding javascript event-based interactions with clematis. ACM Trans. Softw. Eng. Methodol. 25(2), 12:1\u201312:38 (2016)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-74407-8_10","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"R Chadha","year":"2007","unstructured":"Chadha, R., Viswanathan, M.: Decidability results for well-structured transition systems with auxiliary storage. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 136\u2013150. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-74407-8_10"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/978-3-662-46669-8_22","volume-title":"Programming Languages and Systems","author":"M Emmi","year":"2015","unstructured":"Emmi, M., Ganty, P., Majumdar, R., Rosa-Velardo, F.: Analysis of asynchronous programs with event-based synchronization. In: Vitek, J. (ed.) ESOP 2015. LNCS, vol. 9032, pp. 535\u2013559. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-46669-8_22"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Gallaba, K., Mesbah, A., Beschastnikh, I.: Don\u2019t call us, we\u2019ll call you: characterizing callbacks in Javascript. In: 2015 ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2015, Beijing, China, 22\u201323 October 2015, pp. 247\u2013256 (2015)","DOI":"10.1109\/ESEM.2015.7321196"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-04368-0_14","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"P Ganty","year":"2009","unstructured":"Ganty, P., Majumdar, R.: Analyzing real-time event-driven programs. In: Ouaknine, J., Vaandrager, F.W. (eds.) FORMATS 2009. LNCS, vol. 5813, pp. 164\u2013178. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04368-0_14"},{"issue":"1","key":"5_CR6","doi-asserted-by":"crossref","first-page":"6:1","DOI":"10.1145\/2160910.2160915","volume":"34","author":"P Ganty","year":"2012","unstructured":"Ganty, P., Majumdar, R.: Algorithmic verification of asynchronous programs. ACM Trans. Program. Lang. Syst. 34(1), 6:1\u20136:48 (2012)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/1480881.1480895","volume":"2009","author":"P Ganty","year":"2009","unstructured":"Ganty, P., Majumdar, R., Rybalchenko, A.: Verifying liveness for asynchronous programs. POPL 2009, 102\u2013113 (2009)","journal-title":"POPL"},{"issue":"3","key":"5_CR8","doi-asserted-by":"crossref","first-page":"58:1","DOI":"10.1145\/2700072","volume":"14","author":"G Geeraerts","year":"2015","unstructured":"Geeraerts, G., Heu\u00dfner, A., Raskin, J.-F.: On the verification of concurrent, asynchronous programs with waiting queues. ACM Trans. Embedded Comput. Syst. 14(3), 58:1\u201358:26 (2015)","journal-title":"ACM Trans. Embedded Comput. Syst."},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1145\/2737924.2737991","volume":"2015","author":"D Park","year":"2015","unstructured":"Park, D., Stefanescu, A., Rosu, G.: KJS: a complete formal semantics of javascript. PLDI 2015, 346\u2013356 (2015)","journal-title":"PLDI"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/11817963_29","volume-title":"Computer Aided Verification","author":"K Sen","year":"2006","unstructured":"Sen, K., Viswanathan, M.: Model checking multithreaded programs with asynchronous atomic methods. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 300\u2013314. Springer, Heidelberg (2006). doi: 10.1007\/11817963_29"},{"key":"5_CR11","unstructured":"https:\/\/howtonode.org\/understanding-process-next-tick"},{"key":"5_CR12","unstructured":"https:\/\/nodejs.org\/en\/docs\/"},{"key":"5_CR13","unstructured":"https:\/\/nodejs.org\/en\/docs\/guides\/event-loop-timers-and-nexttick\/"},{"key":"5_CR14","unstructured":"http:\/\/stackoverflow.com\/questions\/15349733\/setimmediate-vs-nexttick"},{"key":"5_CR15","unstructured":"https:\/\/www.quora.com\/"},{"key":"5_CR16","unstructured":"http:\/\/www.disi.unige.it\/person\/DelzannoG\/NODE\/"}],"container-title":["Lecture Notes in Computer Science","Reachability Problems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67089-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T06:56:49Z","timestamp":1692946609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67089-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319670881","9783319670898"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67089-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}