{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:59:30Z","timestamp":1725541170829},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642104879"},{"type":"electronic","value":"9783642104886"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10488-6_12","type":"book-chapter","created":{"date-parts":[[2009,11,17]],"date-time":"2009-11-17T02:55:13Z","timestamp":1258426513000},"page":"90-99","source":"Crossref","is-referenced-by-count":0,"title":["The Dual Spatial Connectives of Separation Logic"],"prefix":"10.1007","author":[{"given":"Yuming","family":"Shen","sequence":"first","affiliation":[]},{"given":"Yuefei","family":"Sui","sequence":"additional","affiliation":[]},{"given":"Ju","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.tcs.2006.12.034","volume":"375","author":"S.D. Brookes","year":"2007","unstructured":"Brookes, S.D.: A semantics of concurrent separation logic. Theoretical Computer Science\u00a0375, 227\u2013270 (2007)","journal-title":"Theoretical Computer Science"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/978-3-540-31982-5_25","volume-title":"Foundations of Software Science and Computational Structures","author":"C. Calcagno","year":"2005","unstructured":"Calcagno, C., Gardner, P., Hague, M.: From separation logic to first-order logic. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 395\u2013409. Springer, Heidelberg (2005)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Calcagno, C., O\u2019Hearn, P., Yang, H.: Local action and abstract separation logic. In: 22nd LICS, pp. 366\u2013378 (2007)","DOI":"10.1109\/LICS.2007.30"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Theoretical Aspects of Computer Software","author":"L. Cardelli","year":"2001","unstructured":"Cardelli, L., Caires, L.: A spatial logic for concurrency. In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol.\u00a02215, pp. 1\u201337. Springer, Heidelberg (2001)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, D.: Anytime, anywhere. modal logics for mobile ambients. In: 27th POPL (2000)","DOI":"10.1145\/325694.325742"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Chaochen, Z., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Inform. Proc. Letters\u00a040, 269\u2013276 (1991)","journal-title":"Inform. Proc. Letters"},{"key":"12_CR7","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2008.04.050","volume":"212","author":"T. Hoare","year":"2008","unstructured":"Hoare, T., O\u2019Hearn, P.: Separation logic semantics for communicating processes. Electronic Notes in Theoretical Computer Science\u00a0212, 3\u201325 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"12_CR9","unstructured":"Lozes, E.: Separation logic preserves the expressive power of classical logic (2004), http:\/\/www.diku.dk\/topps\/space2004\/space.nal\/etienne.pdf"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/j.tcs.2006.12.035","volume":"375","author":"P.W. O\u2019Hearn","year":"2007","unstructured":"O\u2019Hearn, P.W.: Resources, concurrency and local reasoning. Theoretical Computer Science\u00a0375, 271\u2013307 (2007)","journal-title":"Theoretical Computer Science"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Parkinson, M., Bierman, G.: Separation logic and abstraction. In: POPL 2005, pp. 12\u201314 (2005)","DOI":"10.1145\/1040305.1040326"},{"key":"12_CR12","first-page":"55","volume-title":"LICS","author":"J.C. Reynolds","year":"2002","unstructured":"Reynolds, J.C.: Separation logic: a logic for shared mutable data structures. In: LICS, pp. 55\u201374. IEEE, Los Alamitos (2002)"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10488-6_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:56:40Z","timestamp":1606168600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10488-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642104879","9783642104886"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10488-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}