{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:05:16Z","timestamp":1725602716038},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642232169"},{"type":"electronic","value":"9783642232176"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23217-6_17","type":"book-chapter","created":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T09:14:02Z","timestamp":1314263642000},"page":"250-264","source":"Crossref","is-referenced-by-count":16,"title":["On Locality and the Exchange Law for Concurrent Processes"],"prefix":"10.1007","author":[{"given":"C. A. R.","family":"Hoare","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akbar","family":"Hussain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"M\u00f6ller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter W.","family":"O\u2019Hearn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rasmus Lerchedahl","family":"Petersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Struth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"http:\/\/staffwww.dcs.shef.ac.uk\/people\/G.Struth\/isa\/"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Bloom, S.L., \u00c9sik, Z.: Free shuffle algebras in language varieties. TCS 163(182), 55\u201398 (1996)","DOI":"10.1016\/0304-3975(95)00230-8"},{"issue":"1-3","key":"17_CR3","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. TCS\u00a0375(1-3), 227\u2013270 (2007); Prelim. version appeared in CONCUR 2004","journal-title":"TCS"},{"key":"17_CR4","first-page":"366","volume-title":"LICS","author":"C. Calcagno","year":"2007","unstructured":"Calcagno, C., O\u2019Hearn, P.W., Yang, H.: Local action and abstract separation logic. In: LICS, pp. 366\u2013378. IEEE Computer Society, Los Alamitos (2007)"},{"key":"17_CR5","series-title":"Prentice-Hall series in automatic computation","volume-title":"A discipline of programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A discipline of programming. Prentice-Hall series in automatic computation. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0304-3975(88)90124-7","volume":"61","author":"J.L. Gischer","year":"1988","unstructured":"Gischer, J.L.: The equational theory of pomsets. TCS\u00a061, 199\u2013224 (1988)","journal-title":"TCS"},{"key":"17_CR7","series-title":"Prentice-Hall series in computer science","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice-Hall series in computer science. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"#cr-split#-17_CR8.1","doi-asserted-by":"crossref","unstructured":"Hoare, T., M\u00f6ller, B., Struth, G., Wehrman, I.: Concurrent Kleene algebra and its foundations. Journal of Logic and Algebraic Programming (2011);","DOI":"10.1016\/j.jlap.2011.04.005"},{"key":"#cr-split#-17_CR8.2","unstructured":"Prelim. version in CONCUR 2009"},{"issue":"2","key":"17_CR9","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D. Kozen","year":"1994","unstructured":"Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. Inf. Comput.\u00a0110(2), 366\u2013390 (1994)","journal-title":"Inf. Comput."},{"key":"#cr-split#-17_CR10.1","doi-asserted-by":"crossref","unstructured":"O\u2019Hearn, P.W.: Resources, concurrency and local reasoning. TCS\u00a0375(1-3), 271\u2013307 (2004);","DOI":"10.1016\/j.tcs.2006.12.035"},{"key":"#cr-split#-17_CR10.2","unstructured":"Prelim. version appeared in CONCUR 2004"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45931-6_28","volume-title":"Foundations of Software Science and Computation Structures","author":"H. Yang","year":"2002","unstructured":"Yang, H., O\u2019Hearn, P.W.: A semantic basis for local reasoning. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 402\u2013416. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2011 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23217-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T03:23:21Z","timestamp":1554089001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23217-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642232169","9783642232176"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23217-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}