{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:07:40Z","timestamp":1774987660521,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642114854","type":"print"},{"value":"9783642114861","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11486-1_4","type":"book-chapter","created":{"date-parts":[[2010,1,27]],"date-time":"2010-01-27T08:39:51Z","timestamp":1264581591000},"page":"43-55","source":"Crossref","is-referenced-by-count":5,"title":["Invariants, Modularity, and Rights"],"prefix":"10.1007","author":[{"given":"Ernie","family":"Cohen","sequence":"first","affiliation":[]},{"given":"Eyad","family":"Alkassar","sequence":"additional","affiliation":[]},{"given":"Vladimir","family":"Boyarinov","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Dahlweid","sequence":"additional","affiliation":[]},{"given":"Ulan","family":"Degenbaev","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Hillebrand","sequence":"additional","affiliation":[]},{"given":"Bruno","family":"Langenstein","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Leinenbach","sequence":"additional","affiliation":[]},{"given":"Micha\u0142","family":"Moskal","sequence":"additional","affiliation":[]},{"given":"Steven","family":"Obua","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Paul","sequence":"additional","affiliation":[]},{"given":"Hristo","family":"Pentchev","sequence":"additional","affiliation":[]},{"given":"Elena","family":"Petrova","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Santen","sequence":"additional","affiliation":[]},{"given":"Norbert","family":"Schirmer","sequence":"additional","affiliation":[]},{"given":"Sabine","family":"Schmaltz","sequence":"additional","affiliation":[]},{"given":"Wolfram","family":"Schulte","sequence":"additional","affiliation":[]},{"given":"Andrey","family":"Shadrin","sequence":"additional","affiliation":[]},{"given":"Stephan","family":"Tobies","sequence":"additional","affiliation":[]},{"given":"Alexandra","family":"Tsyban","sequence":"additional","affiliation":[]},{"given":"Sergey","family":"Tverdyshev","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-87531-4_24","volume-title":"Computer Science Logic","author":"R. Brochenin","year":"2008","unstructured":"Brochenin, R., Demri, S., Lozes, E.: On the almighty wand. In: Kaminski, M., Martini, S. (eds.) CSL 2008. LNCS, vol.\u00a05213, pp. 323\u2013338. Springer, Heidelberg (2008)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Calcagno, C., Yang, H., O\u2019Hearn, P.W.: Computability and complexity results for a spatial assertion language for data structures. In: APLAS, pp. 289\u2013300 (2001)","DOI":"10.1007\/3-540-45294-X_10"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"TPHOLs 2009","author":"E. Cohen","year":"2009","unstructured":"Cohen, E., Dahlweid, M., Hillebrand, M., Leinenbach, D., Moskal, M., Santen, T., Schulte, W., Tobies, S.: VCC: A practical system for verifying concurrent C. In: Urban, C. (ed.) TPHOLs 2009. LNCS, vol.\u00a05674, pp. 1\u201322. Springer, Heidelberg (2009) (invited paper)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/978-3-642-00590-9_26","volume-title":"ESOP 2009","author":"M. Dodds","year":"2009","unstructured":"Dodds, M., Feng, X., Parkinson, M., Vafeiadis, V.: Deny-guarantee reasoning. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 363\u2013377. Springer, Heidelberg (2009)"},{"key":"4_CR5","unstructured":"Jones, C.B.: Specification and design of (parallel) programs. In: IFIP Congress, pp. 321\u2013332 (1983)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","first-page":"378","volume-title":"ESOP 2009","author":"K. Rustan","year":"2009","unstructured":"Rustan, K., Leino, M.: A basis for verifying multi-threaded programs. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 378\u2013393. Springer, Heidelberg (2009)"},{"issue":"1-3","key":"4_CR7","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. Theor. Comput. Sci.\u00a0375(1-3), 271\u2013307 (2007)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11486-1_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T19:47:42Z","timestamp":1685389662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11486-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642114854","9783642114861"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11486-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}