{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T07:11:21Z","timestamp":1794381081097,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540228493","type":"print"},{"value":"9783540278368","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27836-8_16","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T18:53:21Z","timestamp":1284576801000},"page":"158-170","source":"Crossref","is-referenced-by-count":3,"title":["A \u03bb-Calculus for Resource Separation"],"prefix":"10.1007","author":[{"given":"Robert","family":"Atkey","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"#cr-split#-16_CR1.1","doi-asserted-by":"crossref","unstructured":"Areces, C., Blackburn, P.: Bringing them all together. Logic and Computation 11(5) (2001);","DOI":"10.1093\/logcom\/11.5.657"},{"key":"#cr-split#-16_CR1.2","unstructured":"Editorial of special issue on Hybrid Logics"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-62950-5_74","volume-title":"Rewriting Techniques and Applications","author":"D. Bechet","year":"1997","unstructured":"Bechet, D., de Groote, P., Retor\u00e9, C.: A complete axiomatisation for the inclusion of series-parallel partial orders. In: Comon, H. (ed.) RTA 1997. LNCS, vol.\u00a01232, pp. 230\u2013240. Springer, Heidelberg (1997)"},{"key":"16_CR3","unstructured":"da, M., Corr\u00eaa, S., Haeusler, E.H., de Paiva, V.C.V.: A dialectica model of state. In: CATS 1996, Computing: The Australian Theory Symposium Proceedings (January 1996)"},{"key":"16_CR4","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0060438","volume-title":"Reports of the Midwest Category Seminar","author":"B.J. Day","year":"1970","unstructured":"Day, B.J.: On closed categories of functors. In: Mac Lane, S. (ed.) Reports of the Midwest Category Seminar. Lecture Notes in Mathematics, vol.\u00a0137, pp. 1\u201338. Springer, Heidelberg (1970)"},{"issue":"4","key":"16_CR5","first-page":"258","volume":"7","author":"M. Hofmann","year":"2000","unstructured":"Hofmann, M.: A type system for bounded space and functional in-place update. Nordic Journal of Computing\u00a07(4), 258\u2013289 (2000)","journal-title":"Nordic Journal of Computing"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/604131.604148","volume-title":"Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages","author":"M. Hofmann","year":"2003","unstructured":"Hofmann, M., Jost, S.: Static prediction of heap space usage for firstorder functional programs. In: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pp. 185\u2013197. ACM Press, New York (2003)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/3-540-44904-3_14","volume-title":"Typed Lambda Calculi and Applications","author":"M. Kone\u010dn\u00fd","year":"2003","unstructured":"Kone\u010dn\u00fd, M.: Functional in-place update with layered datatype sharing. In: Hofmann, M.O. (ed.) TLCA 2003. LNCS, vol.\u00a02701, pp. 195\u2013210. Springer, Heidelberg (2003)"},{"key":"16_CR8","volume-title":"Categories for the Working Mathematician","author":"S.M. Lane","year":"1998","unstructured":"Lane, S.M.: Categories for the Working Mathematician, 2nd edn. Springer, Heidelberg (1998)","edition":"2"},{"issue":"4","key":"16_CR9","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1017\/S0956796802004495","volume":"13","author":"P.W. O\u2019Hearn","year":"2003","unstructured":"O\u2019Hearn, P.W.: On bunched typing. Journal of Functional Programming\u00a013(4), 747\u2013796 (2003)","journal-title":"Journal of Functional Programming"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0304-3975(98)00359-4","volume":"228","author":"P.W. O\u2019Hearn","year":"1999","unstructured":"O\u2019Hearn, P.W., Power, A.J., Takeyama, M., Tennent, R.D.: Syntactic control of interference revisited. Theoretical Computer Science\u00a0228, 211\u2013252 (1999)","journal-title":"Theoretical Computer Science"},{"key":"16_CR11","first-page":"172","volume-title":"Conference Record of the 30th Annual Symposium on Principles of Programming Languages (POPL 2003)","author":"L. Petersen","year":"2003","unstructured":"Petersen, L., Harper, R., Crary, K., Pfenning, F.: A type theory for memory allocation and data layout. In: Morrisett, G. (ed.) Conference Record of the 30th Annual Symposium on Principles of Programming Languages (POPL 2003), January 2003, pp. 172\u2013184. ACM Press, New York (2003)"},{"key":"16_CR12","series-title":"Applied Logic Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0091-7","volume-title":"The Semantics and Proof Theory of the Logic of Bunched Implications","author":"D.J. Pym","year":"2002","unstructured":"Pym, D.J.: The Semantics and Proof Theory of the Logic of Bunched Implications. Applied Logic Series, vol.\u00a026. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"16_CR13","unstructured":"Reddy, U.: A linear logic model of state (October 1993), Electronic manuscript http:\/\/www.cs.bham.ac.uk\/~udr\/"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1007\/3-540-62688-3_43","volume-title":"Typed Lambda Calculi and Applications","author":"C. Retor\u00e9","year":"1997","unstructured":"Retor\u00e9, C.: Pomset logic: a non-commutative extension of classical linear logic. In: de Groote, P., Hindley, J.R. (eds.) TLCA 1997. LNCS, vol.\u00a01210, pp. 300\u2013318. Springer, Heidelberg (1997)"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/512760.512766","volume-title":"Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of Programming Languages","author":"J.C. Reynolds","year":"1978","unstructured":"Reynolds, J.C.: Syntactic control of interference. In: Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of Programming Languages, pp. 39\u201346. ACM Press, New York (1978)"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"704","DOI":"10.1007\/BFb0035793","volume-title":"Automata, Languages and Programming","author":"J.C. Reynolds","year":"1989","unstructured":"Reynolds, J.C.: Syntactic control of interference, part 2. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) ICALP 1989. LNCS, vol.\u00a0372, pp. 704\u2013722. Springer, Heidelberg (1989)"},{"issue":"1","key":"16_CR17","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications\u00a021(1), 5\u201319 (2003); Special issue on Formal Methods for Security","journal-title":"IEEE Journal on Selected Areas in Communications"},{"issue":"2","key":"16_CR18","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1137\/0211023","volume":"11","author":"J. Valdes","year":"1982","unstructured":"Valdes, J., Tarjan, R.E., Lawler, E.L.: The recognition of series-parallel digraphs. SIAM Journal of Computing\u00a011(2), 298\u2013313 (1982)","journal-title":"SIAM Journal of Computing"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27836-8_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:23:49Z","timestamp":1605741829000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27836-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540228493","9783540278368"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27836-8_16","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b99859","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}