{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:41:26Z","timestamp":1725795686509},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662439500"},{"type":"electronic","value":"9783662439517"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43951-7_9","type":"book-chapter","created":{"date-parts":[[2014,6,11]],"date-time":"2014-06-11T08:37:49Z","timestamp":1402475869000},"page":"98-109","source":"Crossref","is-referenced-by-count":7,"title":["Parameterised Linearisability"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Cerone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexey","family":"Gotsman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongseok","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Cerone, A., Gotsman, A., Yang, H.: Parameterised linearisability (extended version), \n                    \n                      http:\/\/software.imdea.org\/~gotsman\/"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Filipovic, I., O\u2019Hearn, P.W., Rinetzky, N., Yang, H.: Abstraction for concurrent objects. Theor. Comput. Sci.\u00a0411(51-52) (2010)","DOI":"10.1016\/j.tcs.2010.09.021"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Ghica, D.R., Murawski, A.S.: Angelic semantics of fine-grained concurrency. Ann. Pure Appl. Logic\u00a0151(2-3) (2008)","DOI":"10.1016\/j.apal.2007.10.005"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/978-3-642-22012-8_36","volume-title":"Automata, Languages and Programming","author":"A. Gotsman","year":"2011","unstructured":"Gotsman, A., Yang, H.: Liveness-preserving atomicity abstraction. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011, Part II. LNCS, vol.\u00a06756, pp. 453\u2013465. Springer, Heidelberg (2011)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Gotsman, A., Yang, H.: Linearizability with ownership transfer. Logical Methods in Computer Science\u00a09 (2013)","DOI":"10.2168\/LMCS-9(3:12)2013"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Hendler, D., Incze, I., Shavit, N., Tzafrir, M.: Flat combining and the synchronization-parallelism tradeoff. In: SPAA (2010)","DOI":"10.1145\/1810479.1810540"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Koskinen, E.: Transactional boosting: a methodology for highly-concurrent transactional objects. In: PPOPP (2008)","DOI":"10.1145\/1345206.1345237"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Wing, J.M.: Linearizability: A correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst.\u00a012(3) (1990)","DOI":"10.1145\/78969.78972"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Hyland, J.M.E., Luke Ong, C.-H.: On full abstraction for PCF: I, II, and III. Inf. Comput.\u00a0163(2) (2000)","DOI":"10.1006\/inco.2000.2917"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1007\/978-3-642-37036-6_27","volume-title":"ESOP 2013","author":"R. Jagadeesan","year":"2013","unstructured":"Jagadeesan, R., Petri, G., Pitcher, C., Riely, J.: Quarantining weakness. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol.\u00a07792, pp. 492\u2013511. Springer, Heidelberg (2013)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Jeffrey, A., Rathke, J.: A fully abstract testing semantics for concurrent objects. Theor. Comput. Sci.\u00a0338(1-3) (2005)","DOI":"10.1016\/j.tcs.2004.10.012"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Laird, J.: A game semantics of idealized CSP. ENTCS\u00a045 (2001)","DOI":"10.1016\/S1571-0661(04)80965-4"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-69611-7_17","volume-title":"Practical Aspects of Declarative Languages","author":"C.V. Russo","year":"2007","unstructured":"Russo, C.V.: The Joins Concurrency Library. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 260\u2013274. Springer, Heidelberg (2007)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Turon, A., Dreyer, D., Birkedal, L.: Unifying refinement and Hoare-style reasoning in a logic for higher-order concurrency. In: ICFP (2013)","DOI":"10.1145\/2500365.2500600"},{"key":"9_CR15","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","Automata, Languages, and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43951-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T02:24:43Z","timestamp":1558923883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43951-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662439500","9783662439517"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43951-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}