{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:19:05Z","timestamp":1745986745386,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357213"},{"type":"electronic","value":"9783642357220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35722-0_10","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T11:16:29Z","timestamp":1357298189000},"page":"134-148","source":"Crossref","is-referenced-by-count":7,"title":["A Modal BI Logic for Dynamic Resource Properties"],"prefix":"10.1007","author":[{"given":"J. R.","family":"Courtault","sequence":"first","affiliation":[]},{"given":"D.","family":"Galmiche","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-540-24597-1_3","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"N. Biri","year":"2003","unstructured":"Biri, N., Galmiche, D.: A Separation Logic for Resource Distribution. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol.\u00a02914, pp. 23\u201337. Springer, Heidelberg (2003)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0168-0072(96)00024-3","volume":"86","author":"U. Engberg","year":"1997","unstructured":"Engberg, U., Winskel, G.: Completeness results for Linear Logic on Petri nets. Annals of Pure and Applied Logic\u00a086, 101\u2013135 (1997)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"10_CR3","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1093\/logcom\/exn066","volume":"20","author":"D. Galmiche","year":"2010","unstructured":"Galmiche, D., M\u00e9ry, D.: Tableaux and Resource Graphs for Separation Logic. Journal of Logic and Computation\u00a020(1), 189\u2013231 (2010)","journal-title":"Journal of Logic and Computation"},{"issue":"6","key":"10_CR4","doi-asserted-by":"publisher","first-page":"1033","DOI":"10.1017\/S0960129505004858","volume":"15","author":"D. Galmiche","year":"2005","unstructured":"Galmiche, D., M\u00e9ry, D., Pym, D.: The semantics of BI and Resource Tableaux. Math. Struct. in Comp. Science\u00a015(6), 1033\u20131088 (2005)","journal-title":"Math. Struct. in Comp. Science"},{"issue":"1","key":"10_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"Girard, J.Y.: Linear logic. Theoretical Computer Science\u00a050(1), 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"issue":"10","key":"10_CR6","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM\u00a012(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Ishtiaq, S., O\u2019Hearn, P.W.: BI as an assertion language for mutable data structures. In: 28th ACM Symposium on Principles of Programming Languages, POPL 2001, London, UK, pp. 14\u201326 (2001)","DOI":"10.1145\/373243.375719"},{"key":"10_CR8","unstructured":"Larchey-Wendling, D.: The Formal Proof of the Strong Completeness of Boolean BI (2012), http:\/\/www.loria.fr\/~larchey\/BBI"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Larchey-Wendling, D., Galmiche, D.: The Undecidability of Boolean BI through Phase Semantics. In: 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, Edinburgh, UK, pp. 147\u2013156 (July 2010)","DOI":"10.1109\/LICS.2010.18"},{"key":"10_CR10","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"issue":"2","key":"10_CR11","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"P.W. O\u2019Hearn","year":"1999","unstructured":"O\u2019Hearn, P.W., Pym, D.J.: The Logic of Bunched Implications. Bulletin of Symbolic Logic\u00a05(2), 215\u2013244 (1999)","journal-title":"Bulletin of Symbolic Logic"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1016\/j.entcs.2007.02.020","volume":"172","author":"D.J. Pym","year":"2007","unstructured":"Pym, D.J., Tofts, C.: Systems modelling via resources and processes: Philosophy, calculus, semantics, and logic. Electronic Notes in Theoretical Computer Science\u00a0172, 545\u2013587 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Pym, D.J.: The Semantics and Proof Theory of the Logic of Bunched Implications. Applied Logic Series, vol.\u00a026. Kluwer Academic Publishers (2002)","DOI":"10.1007\/978-94-017-0091-7"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Reynolds, J.: Separation logic: A logic for shared mutable data structures. In: IEEE Symposium on Logic in Computer Science, Copenhagen, Danemark, pp. 55\u201374 (July 2002)","DOI":"10.1109\/LICS.2002.1029817"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35722-0_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:00:35Z","timestamp":1745942435000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35722-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357213","9783642357220"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35722-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}