{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:32:50Z","timestamp":1725867170383},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319479576"},{"type":"electronic","value":"9783319479583"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-47958-3_17","type":"book-chapter","created":{"date-parts":[[2016,10,8]],"date-time":"2016-10-08T13:40:52Z","timestamp":1475934052000},"page":"314-334","source":"Crossref","is-referenced-by-count":8,"title":["Verifying Concurrent Graph Algorithms"],"prefix":"10.1007","author":[{"given":"Azalea","family":"Raad","sequence":"first","affiliation":[]},{"given":"Aquinas","family":"Hobor","sequence":"additional","affiliation":[]},{"given":"Jules","family":"Villard","sequence":"additional","affiliation":[]},{"given":"Philippa","family":"Gardner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,9]]},"reference":[{"unstructured":"Bornat, R., Calcagno, C., O\u2019Hearn, P.: Local reasoning, separation and aliasing. In: SPACE, vol. 4 (2004)","key":"17_CR1"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/3-540-07994-7_48","volume-title":"Language Hierarchies and Interfaces","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W., Lamport, L., Martin, A.J., Scholten, C.S., Steffens, E.F.M.: On-the-fly darbage collection: an exercise in cooeration. In: Bauer, F.L., Dijkstra, E.W., Ershov, A., Griffiths, M., Hoare, C.A.R., Wulf, W.A., Samelson, K. (eds.) Language Hierarchies and Interfaces. LNCS, vol. 46, pp. 43\u201356. Springer, Heidelberg (1976). doi: 10.1007\/3-540-07994-7_48"},{"doi-asserted-by":"crossref","unstructured":"Dinsdale-Young, T., Birkedal, L., Gardner, P., Parkinson, M., Yang, H.: Views: compositional reasoning for concurrent programs. In: POPL, pp. 287\u2013300 (2013)","key":"17_CR3","DOI":"10.1145\/2429069.2429104"},{"doi-asserted-by":"crossref","unstructured":"Dinsdale-Young, T., Dodds, M., Gardner, P., Parkinson, M., Vafeiadis, V.: Concurrent abstract predicates. In: ECOOP, pp. 504\u2013528 (2010)","key":"17_CR4","DOI":"10.1007\/978-3-642-14107-2_24"},{"doi-asserted-by":"crossref","unstructured":"Dockins, R., Hobor, A., Appel, A.: A fresh look at separation algebras and share accounting. In: APLAS (2009)","key":"17_CR5","DOI":"10.1007\/978-3-642-10672-9_13"},{"doi-asserted-by":"crossref","unstructured":"Feng, X.: Local rely-guarantee reasoning. In: POPL, pp. 315\u2013327 (2009)","key":"17_CR6","DOI":"10.1145\/1594834.1480922"},{"key":"17_CR7","volume-title":"Introduction to Parallel Computing","author":"A Grama","year":"2003","unstructured":"Grama, A., Anshul, G., Karypis, G., Kumar, V.: Introduction to Parallel Computing, 2nd edn. Addison Wesley, Boston (2003)","edition":"2"},{"doi-asserted-by":"crossref","unstructured":"Hobor, A., Villard, J.: The ramifications of sharing in data structures. In: Giacobazzi, R., Cousot, R. (eds.) POPL, pp. 523\u2013536. ACM (2013)","key":"17_CR8","DOI":"10.1145\/2429069.2429131"},{"doi-asserted-by":"crossref","unstructured":"Nanevski, A., Ley-Wild, R., Sergey, I., Delbianco, G.: Communicating state transition systems for fine-grained concurrent resources. In: ESOP, pp. 290\u2013310 (2014)","key":"17_CR9","DOI":"10.1007\/978-3-642-54833-8_16"},{"unstructured":"Raad, A.: Ph.D. thesis, Imperial College London (2016, to appear)","key":"17_CR10"},{"doi-asserted-by":"crossref","unstructured":"Raad, A., Hobor, A., Villard, J., Gardner, P.: Verifying concurrent graph algorithms (extended) (2016)","key":"17_CR11","DOI":"10.1007\/978-3-319-47958-3_17"},{"doi-asserted-by":"crossref","unstructured":"Raad, A., Villard, J., Gardner, P.: CoLoSL: concurrent local subjective logic. In: ESOP, pp. 710\u2013735 (2015)","key":"17_CR12","DOI":"10.1007\/978-3-662-46669-8_29"},{"unstructured":"Reynolds, J.: A short course on separation logic (2003). http:\/\/www.cs.cmu.edu\/afs\/cs.cmu.edu\/project\/fox-19\/member\/jcr\/wwwaac2003\/notes7.ps","key":"17_CR13"},{"doi-asserted-by":"crossref","unstructured":"Sergey, I., Nanevski, A., Banerjee, A.: Mechanized verification of fine-grained concurrent programs. In: PLDI (2015)","key":"17_CR14","DOI":"10.1145\/2737924.2737964"},{"doi-asserted-by":"crossref","unstructured":"Svendsen, K., Birkedal, L.: Impredicative concurrent abstract predicates. In: ESOP (2014)","key":"17_CR15","DOI":"10.1007\/978-3-642-54833-8_9"},{"doi-asserted-by":"crossref","unstructured":"Turon, A., Dreyer, D., Birkedal, L.: Unifying refinement and Hoare-style reasoning in a logic for higher-order concurrency. In: ICFP, pp. 377\u2013390 (2013)","key":"17_CR16","DOI":"10.1145\/2500365.2500600"},{"unstructured":"Yang, H.: Local reasoning for stateful programs. Ph.D. thesis, University of Illinois (2001)","key":"17_CR17"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47958-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T11:31:04Z","timestamp":1568460664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47958-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319479576","9783319479583"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47958-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}