{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:06:28Z","timestamp":1725505588220},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787907"},{"type":"electronic","value":"9783540787914"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78791-4_18","type":"book-chapter","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T23:13:15Z","timestamp":1207091595000},"page":"260-275","source":"Crossref","is-referenced-by-count":3,"title":["Coqa: Concurrent Objects with Quantized Atomicity"],"prefix":"10.1007","author":[{"given":"Yu David","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoqi","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott F.","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"ACTORS : A model of Concurrent computations in Distributed Systems","author":"G. Agha","year":"1990","unstructured":"Agha, G.: ACTORS: A model of Concurrent computations in Distributed Systems. MITP, Cambridge, Mass (1990)"},{"issue":"1","key":"18_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G. Agha","year":"1997","unstructured":"Agha, G., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. Journal of Functional Programming\u00a07(1), 1\u201372 (1997)","journal-title":"Journal of Functional Programming"},{"key":"18_CR3","unstructured":"Armstrong, J.: Erlang \u2014 a Survey of the Language and its Industrial Applications. In: INAP 1996 \u2014 The 9th Exhibitions and Symposium on Industrial Applications of Prolog, Hino, Tokyo, Japan, pp. 16\u201318 (1996)"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/582419.582440","volume-title":"OOPSLA 2002","author":"C. Boyapati","year":"2002","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: preventing data races and deadlocks. In: OOPSLA 2002, Seattle, Washington, USA, pp. 211\u2013230. ACM Press, New York, NY, USA (2002)"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/353171.353197","volume-title":"OOPSLA 2000","author":"D.F. Bacon","year":"2000","unstructured":"Bacon, D.F., Strom, R.E., Tarafdar, A.: Guava: a dialect of java without data races. In: OOPSLA 2000, pp. 382\u2013400. ACM Press, New York (2000)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"CarlStrom, B., McDonald, A., Chafi, H., Chung, J., Minh, C., Kozyrakis, C., Olukotun, K.: The atomos transactional programming language. In: PLDI 2006, Ottawa, Ontario, Canada (June 2006)","DOI":"10.1145\/1133981.1133983"},{"key":"18_CR7","unstructured":"Cray Inc. Chapel Specification (2005)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/3-540-08755-9_9","volume-title":"Operating Systems","author":"J. Gray","year":"1978","unstructured":"Gray, J.: Notes on data base operating systems. In: Flynn, M.J., Jones, A.K., Opderbeck, H., Randell, B., Wiehle, H.R., Gray, J.N., Lagally, K., Popek, G.J., Saltzer, J.H. (eds.) Operating Systems. LNCS, vol.\u00a060, pp. 393\u2013481. Springer, Heidelberg (1978)"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. In: OOPSLA 2003, pp. 388\u2013402 (2003)","DOI":"10.1145\/949343.949340"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"New Approaches in Software Measurement","author":"P. Haller","year":"2001","unstructured":"Haller, P., Odersky, M.: Event-based programming without inversion of control. In: Dumke, R.R., Abran, A. (eds.) IWSM 2000. LNCS, vol.\u00a02006, Springer, Heidelberg (2001)"},{"issue":"12","key":"18_CR11","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/361227.361234","volume":"18","author":"R.J. Lipton","year":"1975","unstructured":"Lipton, R.J.: Reduction: a method of proving properties of parallel programs. Commun. ACM\u00a018(12), 717\u2013721 (1975)","journal-title":"Commun. ACM"},{"issue":"3","key":"18_CR12","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1145\/42392.42399","volume":"31","author":"B. Liskov","year":"1988","unstructured":"Liskov, B.: Distributed programming in argus. Commun. ACM\u00a031(3), 300\u2013312 (1988)","journal-title":"Commun. ACM"},{"key":"18_CR13","unstructured":"Liu, Y.D.: Interaction-Oriented Programming, PhD thesis, Johns Hopkins University, Baltimore, MD, USA, (2007), electronic copy available at http:\/\/www.cs.jhu.edu\/~yliu\/thesis\/"},{"issue":"2","key":"18_CR14","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1145\/390018.808319","volume":"11","author":"D.B. Lomet","year":"1977","unstructured":"Lomet, D.B.: Process structuring, synchronization, and recovery using atomic actions. SIGOPS Oper. Syst. Rev.\u00a011(2), 128\u2013137 (1977)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"18_CR15","unstructured":"Lamport, L., Schneider, F.B.: Pretending atomicity. Technical Report TR89-1005, Digital Equipment Corporation (1989)"},{"key":"18_CR16","unstructured":"Lu, X.: Coqa: A Concurrent Programming Model with Ubiquitous Atomicity. PhD thesis, Johns Hopkins University, Baltimore, MD, USA (November 2007), electronic copy available at http:\/\/www.cs.jhu.edu\/~xiaoqilu\/thesis\/"},{"key":"18_CR17","unstructured":"Miller, M.: The E Language, http:\/\/www.erights.org"},{"key":"18_CR18","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1145\/1040305.1040336","volume-title":"POPL 2005","author":"J. Manson","year":"2005","unstructured":"Manson, J., Pugh, W., Adve, S.V.: The java memory model. In: POPL 2005, pp. 378\u2013391. ACM Press, New York (2005)"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/3-540-36579-6_11","volume-title":"Compiler Construction","author":"N. Nystrom","year":"2003","unstructured":"Nystrom, N., Clarkson, M.R., Myers, A.C.: Polyglot: An extensible compiler framework for java. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 138\u2013152. Springer, Heidelberg (2003)"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Ni, Y., Menon, V., Adl-Tabatabai, A.-R., Hosking, A.L., Hudson, R.L., Moss, J.E.B., Saha, B., Shpeisman, T.: Open nesting in software transactional memory. In: ACM SIGPLAN 2007 Symposium on Principles and Practice of Parallel Programming (March 2007)","DOI":"10.1145\/1229428.1229442"},{"key":"18_CR21","unstructured":"Java PathFinder at, http:\/\/javapathfinder.sourceforge.net\/"},{"issue":"11","key":"18_CR22","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/2.43525","volume":"22","author":"M. Singhal","year":"1989","unstructured":"Singhal, M.: Deadlock detection in distributed systems. IEEE Computer\u00a022(11), 37\u201348 (1989)","journal-title":"IEEE Computer"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11785477_8","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"A. Welc","year":"2006","unstructured":"Welc, A., Hosking, A.L., Jagannathan, S.: Transparently reconciling transactions with locking for java synchronization. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 148\u2013173. Springer, Heidelberg (2006)"},{"key":"18_CR24","series-title":"Lecture Notes in Computer Science","first-page":"519","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"A. Welc","year":"2004","unstructured":"Welc, A., Jagannathan, S., Hosking, A.L.: Transactional monitors for concurrent objects. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 519\u2013542. Springer, Heidelberg (2004)"},{"key":"18_CR25","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/28697.28722","volume-title":"OOPLSA 1986: Conference proceedings on Object-oriented programming systems, languages and applications","author":"A. Yonezawa","year":"1986","unstructured":"Yonezawa, A., Briot, J.-P., Shibayama, E.: Object-oriented concurrent programming abcl\/1. In: OOPLSA 1986: Conference proceedings on Object-oriented programming systems, languages and applications, pp. 258\u2013268. ACM Press, New York (1986)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78791-4_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:22:26Z","timestamp":1619522546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78791-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540787907","9783540787914"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78791-4_18","relation":{},"subject":[]}}