{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:08:25Z","timestamp":1725872905946},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662540688"},{"type":"electronic","value":"9783662540695"}],"license":[{"start":{"date-parts":[[2016,12,3]],"date-time":"2016-12-03T00:00:00Z","timestamp":1480723200000},"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-662-54069-5_9","type":"book-chapter","created":{"date-parts":[[2016,12,2]],"date-time":"2016-12-02T08:43:15Z","timestamp":1480668195000},"page":"106-122","source":"Crossref","is-referenced-by-count":2,"title":["A Substructural Epistemic Resource Logic"],"prefix":"10.1007","author":[{"given":"Didier","family":"Galmiche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Kimmel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pym","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,3]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/j.tcs.2015.11.035","volume":"614","author":"G Anderson","year":"2016","unstructured":"Anderson, G., Pym, D.: A calculus and logic of bunched resources and processes. Theor. Comput. Sci. 614, 63\u201396 (2016)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"9_CR2","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1093\/logcom\/exm015","volume":"17","author":"A Baltag","year":"2006","unstructured":"Baltag, A., Coecke, B., Sadrzadeh, M.: Epistemic actions as resources. J. Logic Comput. 17(3), 555\u2013585 (2006)","journal-title":"J. Logic Comput."},{"key":"9_CR3","unstructured":"Collinson, M., Monahan, B., Pym, D.: A Discipline of Mathematical Systems Modelling. College Publications (2012)"},{"key":"9_CR4","doi-asserted-by":"publisher","unstructured":"Collinson, M., McDonald, K., Pym, D.: Layered graph logic as an assertion language for access control policy models. J. Logic Comput. (2015). doi: 10.1093\/logcom\/exv020","DOI":"10.1093\/logcom\/exv020"},{"issue":"4","key":"9_CR5","doi-asserted-by":"crossref","first-page":"953","DOI":"10.1093\/logcom\/exu002","volume":"24","author":"M Collinson","year":"2014","unstructured":"Collinson, M., McDonald, K., Pym, D.: A substructural logic for layered graphs. J. Logic Comput. 24(4), 953\u2013988 (2014)","journal-title":"J. Logic Comput."},{"key":"9_CR6","doi-asserted-by":"publisher","unstructured":"Courtault, J.-R., Galmiche, D.: A modal separation logic for resource dynamics. J. Logic Comput., 46 pages (2015). doi: 10.1093\/logcom\/exv031","DOI":"10.1093\/logcom\/exv031"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-662-47709-0_12","volume-title":"Logic, Language, Information, and Computation","author":"J-R Courtault","year":"2015","unstructured":"Courtault, J.-R., Ditmarsch, H., Galmiche, D.: An epistemic separation logic. In: Paiva, V., Queiroz, R., Moss, L.S., Leivant, D., Oliveira, A.G. (eds.) WoLLIC 2015. LNCS, vol. 9160, pp. 156\u2013173. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-47709-0_12"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.tcs.2016.04.040","volume":"637","author":"J-R Courtault","year":"2016","unstructured":"Courtault, J.-R., Galmiche, D., Pym, D.: A logic of separating modalities. Theor. Comput. Sci. 637, 30\u201358 (2016). doi: 10.1016\/j.tcs.2016.04.040","journal-title":"Theor. Comput. Sci."},{"key":"9_CR9","unstructured":"van Ditmarsch, H., Halpern, J.Y., van der Hoek, W., Kooi, B. (eds.): Handbook of Epistemic Logic. College Publications (2015)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/978-3-319-40229-1_32","volume-title":"Automated Reasoning","author":"S Docherty","year":"2016","unstructured":"Docherty, S., Pym, D.: Intuitionistic layered graph logic. In: Olivetti, N., Tiwari, A. (eds.) IJCAR 2016. LNCS (LNAI), vol. 9706, pp. 469\u2013486. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-40229-1_32"},{"issue":"6","key":"9_CR11","doi-asserted-by":"crossref","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. Comp. Sci. 15(6), 1033\u20131088 (2005)","journal-title":"Math. Struct. Comp. Sci."},{"key":"9_CR12","unstructured":"Galmiche, D., Kimmel, P., Pym, D.: A substructural epistemic resource logic (extended version). UCL research note RN\/16\/08 (2016). http:\/\/www.cs.ucl.ac.uk\/fileadmin\/UCL-CS\/research\/Research_Notes\/RN_16_08.pdf"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-540-40981-6_11","volume-title":"Formal Aspects of Security","author":"JY Halpern","year":"2003","unstructured":"Halpern, J.Y., Pucella, R.: Modeling adversaries in a logic for security protocol analysis. In: Abdallah, A.E., Ryan, P., Schneider, S. (eds.) FASec 2002. LNCS, vol. 2629, pp. 115\u2013132. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-40981-6_11"},{"issue":"2","key":"9_CR14","doi-asserted-by":"crossref","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"P O\u2019Hearn","year":"1999","unstructured":"O\u2019Hearn, P., Pym, D.: The logic of bunched implications. Bull. Symbolic Logic 5(2), 215\u2013244 (1999)","journal-title":"Bull. Symbolic Logic"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Ishtiaq, S., O\u2019Hearn, P.: BI as an assertion language for mutable data structures. In: 28th ACM Symposium on Principles of Programming Languages (POPL), London, pp. 14\u201326 (2001)","DOI":"10.1145\/360204.375719"},{"issue":"2","key":"9_CR16","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1093\/logcom\/exu031","volume":"26","author":"D Larchey-Wendling","year":"2014","unstructured":"Larchey-Wendling, D.: The formal strong completeness of partial monoidal Boolean BI. J. Logic Comput. 26(2), 605\u2013640 (2014). doi: 10.1093\/logcom\/exu031","journal-title":"J. Logic Comput."},{"key":"9_CR17","first-page":"2015","volume":"219\u2013226","author":"P Naumov","year":"2015","unstructured":"Naumov, P., Tao, J.: Budget-constrained knowledge in multiagent systems. Proc. AAMAS 219\u2013226, 2015 (2015)","journal-title":"Proc. AAMAS"},{"issue":"1\u20133","key":"9_CR18","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/j.tcs.2006.12.035","volume":"375","author":"PW O\u2019Hearn","year":"2007","unstructured":"O\u2019Hearn, P.W.: Resources, concurrency and local reasoning. Theor. Comput. Sci. 375(1\u20133), 271\u2013307 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR19","unstructured":"Pucella, R.: Knowledge and security. Chap. 12 of [9], pp. 591\u2013655"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Pym, D., O\u2019Hearn, P., Yang, H.: Possible worlds, resources: the semantics of BI. Theor. Comput. Sci. 315(1), 257\u2013305. Erratum: p. 22, l. 22 (preprint), p. 285, 1.-12 (TCS): \u2018, for some $$P^{\\prime }$$ , $$Q \\equiv P; P^{\\prime }$$ \u2019 should be \u2018 $$P \\vdash Q$$ \u2019","DOI":"10.1016\/j.tcs.2003.11.020"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Reynolds, J.: Separation logic: a logic for shared mutable data structures. IEEE Symposium on Logic in Computer Science, LICS 2002, pp. 55\u201374, Denmark, Copenhagen (July 2002)","DOI":"10.1109\/LICS.2002.1029817"},{"key":"9_CR22","unstructured":"Schneier, B.: The weakest link (2005). https:\/\/www.schneier.com\/blog\/archives\/2005\/02\/the_weakest_lin.html . Schneier on security, https:\/\/www.schneier.com"},{"key":"9_CR23","unstructured":"Toninho, B., Caires, L.: A spatial-epistemic logic for reasoning about security protocols. In: 8th International Workshop on Security Issues in Concurrency, SecCo 2010 (2010)"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54069-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T05:53:40Z","timestamp":1568613220000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-54069-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,3]]},"ISBN":["9783662540688","9783662540695"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54069-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016,12,3]]}}}