{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:30:51Z","timestamp":1725474651530},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540499947"},{"type":"electronic","value":"9783540499954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11944836_1","type":"book-chapter","created":{"date-parts":[[2006,11,28]],"date-time":"2006-11-28T04:48:02Z","timestamp":1164689282000},"page":"1-3","source":"Crossref","is-referenced-by-count":0,"title":["Shared-Variable Concurrency: A Proposal"],"prefix":"10.1007","author":[{"given":"G\u00e9rard","family":"Boudol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Flanagan, C., Freund, S.N.: Types for safe locking: static race detection for Java. In: ACM TOPLAS, vol.\u00a028(2), pp. 207\u2013255 (2006)","DOI":"10.1145\/1119479.1119480"},{"key":"1_CR2","first-page":"117","volume-title":"Handbook of Logic in Computer Science","author":"H. Barendregt","year":"1992","unstructured":"Barendregt, H.: Lambda Calculi with Types. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol.\u00a02, pp. 117\u2013309. Oxford University Press, Oxford (1992)"},{"key":"1_CR3","unstructured":"Birrel, A.D.: An introduction to programming with threads, SRC Report 35 (December 1989)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/11560647_24","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"G. Boudol","year":"2005","unstructured":"Boudol, G.: On typing information flow. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 366\u2013380. Springer, Heidelberg (2005)"},{"key":"1_CR5","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Proofs and Types","author":"J.-Y. Girard","year":"1989","unstructured":"Girard, J.-Y., Lafont, Y., Taylor, P.: Proofs and Types. Cambridge Tracts in Theoretical Computer Science, vol.\u00a07. Cambridge University Press, Cambridge (1989)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Grossman, D.: Type-safe multithreading in Cyclone. In: TLDI 2003, pp. 13\u201325 (2003)","DOI":"10.1145\/604174.604177"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"109","DOI":"10.2307\/2269016","volume":"10","author":"S.C. Kleene","year":"1945","unstructured":"Kleene, S.C.: On the interpretation of intuitionistic number theory. J. of Symbolic Logic\u00a010, 109\u2013124 (1945)","journal-title":"J. of Symbolic Logic"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P.J. Landin","year":"1964","unstructured":"Landin, P.J.: The mechanical evaluation of expressions. Computer Journal\u00a06, 308\u2013320 (1964)","journal-title":"Computer Journal"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Lucassen, J.M., Gifford, D.K.: Polymorphic effect systems. In: POPL 1988, pp. 47\u201357 (1988)","DOI":"10.1145\/73560.73564"},{"key":"1_CR10","volume-title":"Foundations for Programming Languages","author":"J.C. Mitchell","year":"1996","unstructured":"Mitchell, J.C.: Foundations for Programming Languages. MIT Press, Cambridge (1996)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-28644-8_4","volume-title":"CONCUR 2004 - Concurrency Theory","author":"P.W. O\u2019Hearn","year":"2004","unstructured":"O\u2019Hearn, P.W.: Resources, concurrency and local reasoning. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 49\u201367. Springer, Heidelberg (2004)"},{"key":"1_CR12","first-page":"227","volume-title":"Higher- Order Operational Techniques in Semantics","author":"A. Pitts","year":"1998","unstructured":"Pitts, A., Stark, I.: Operational reasoning for functions with local state. In: Gordon, A., Pitts, A. (eds.) Higher- Order Operational Techniques in Semantics, Publications of the Newton Institute, pp. 227\u2013273. Cambridge Univ. Press, Cambridge (1998)"},{"key":"1_CR13","unstructured":"Plotkin, G.: Lambda-definability and logical relations, Memo SAI-RM-4, University of Edinburgh (1973)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-540-30538-5_4","volume-title":"FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science","author":"J.C. Reynolds","year":"2004","unstructured":"Reynolds, J.C.: Toward a grainless semantics for shared-variable concurrency. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol.\u00a03328, pp. 35\u201348. Springer, Heidelberg (2004)"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"198","DOI":"10.2307\/2271658","volume":"32","author":"W. Tait","year":"1967","unstructured":"Tait, W.: Intensional interpretations of functionals of finite type I. J. of Symbolic Logic\u00a032, 198\u2013212 (1967)","journal-title":"J. of Symbolic Logic"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Tait, W.: A realizability interpretation of the theory of species, Logic Colloquium. Lecture Notes in Mathematics, vol.\u00a0453, pp. 240\u2013251 (1975)","DOI":"10.1007\/BFb0064875"}],"container-title":["Lecture Notes in Computer Science","FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11944836_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:52:40Z","timestamp":1619509960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11944836_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540499947","9783540499954"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11944836_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}