{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:48Z","timestamp":1725562608773},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221593"},{"type":"electronic","value":"9783540248514"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24851-4_24","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T16:36:03Z","timestamp":1281285363000},"page":"518-541","source":"Crossref","is-referenced-by-count":42,"title":["Transactional Monitors for Concurrent Objects"],"prefix":"10.1007","author":[{"given":"Adam","family":"Welc","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antony L.","family":"Hosking","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Agesen, O., Detlefs, D., Garthwaite, A., Knippel, R., Ramakrishna, Y.S., White, D.: An efficient meta-lock for implementing ubiquitous synchronization. In: OOPSLA 1999 [34], pp. 207\u2013222 (1999)","DOI":"10.1145\/320384.320402"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Alpern, B., Attanasio, C.R., Barton, J.J., Cocchi, A., Hummel, S.F., Lieber, D., Ngo, T., Mergen, M., Shepherd, J.C., Smith, S.: Implementing Jalape\u00f1o in Java. In: OOPSLA 1999 [34], pp. 314\u2013324 (1999)","DOI":"10.1145\/320385.320418"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Arnold, M., Fink, S.J., Grove, D., Hind, M., Sweeney, P.F.: Adaptive optimization in the Jalape\u00f1o JVM. In: Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, October 2000, vol.\u00a035, pp. 47\u201365 (2000)","DOI":"10.1145\/354222.353175"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Bacon, D., Konuru, R., Murthy, C., Serrano, M.: Thin locks: Featherweight synchronization for Java. In: Proceedings of the ACM Conference on Programming Language Design and Implementation, May 1998, vol.\u00a033, pp. 258\u2013268 (1998)","DOI":"10.1145\/277652.277734"},{"key":"24_CR5","volume-title":"Electronic Notes in Theoretical Computer Science","author":"M. Berger","year":"2003","unstructured":"Berger, M., Honda, K.: The Two-Phase Commitment Protocol in an Extended pi- Calculus. In: Aceto, L., Victor, B. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a039, Elsevier, Amsterdam (2003)"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Black, A., Cremet, V., Guerraoui, R., Odersky, M.: An equational theory for transactions. Technical ReportCSE03-007, Department of Computer Science,OGISchool of Science and Engineering (2003)","DOI":"10.1007\/978-3-540-24597-1_4"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.C.: Ownership types for safe programming: preventing data races and deadlocks. In: Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, November 2002, vol.\u00a037, pp. 211\u2013230 (2002)","DOI":"10.1145\/582419.582440"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Rinard, M.: A parameterized type system for race-free Java programs. In: OOPSLA 2001 [33], pp. 56\u201369 (2001)","DOI":"10.1145\/504282.504287"},{"key":"24_CR9","volume-title":"High-Level Parallel Programming Models and Supportive Environments (HIPS)","author":"S. Breitinger","year":"1997","unstructured":"Breitinger, S., Loogen, R., Ortega-Mall\u00e9n, Y., Pena, R.: The Eden coordination model for distributed memory systems. In: High-Level Parallel Programming Models and Supportive Environments (HIPS), IEEE Press, Los Alamitos (1997)"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-45694-5_22","volume-title":"CONCUR 2002 - Concurrency Theory","author":"R. Bruni","year":"2002","unstructured":"Bruni, R., Laneve, C., Montanari, U.: Orchestrating transactions in the join calculus. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 321\u2013337. Springer, Heidelberg (2002)"},{"key":"24_CR11","volume-title":"Formal Methods for Open Object-Based Distributed Systems IV","author":"N. Busi","year":"2000","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: On the Semantics of Java Spaces. In: Formal Methods for Open Object-Based Distributed Systems IV, vol.\u00a0177, Kluwer, Dordrecht (2000)"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-45315-6_8","volume-title":"Foundations of Software Science and Computation Structures","author":"N. Busi","year":"2001","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: Temporary Data in Shared Dataspace Coordination Languages. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol.\u00a02030, pp. 121\u2013136. Springer, Heidelberg (2001)"},{"key":"24_CR13","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proc. of International Workshop on Concurrency and Coordination (CONCOORD 2001)","author":"N. Busi","year":"2001","unstructured":"Busi, N., Zavattaro, G.: On the serializability of transactions in Java Spaces. In: Proc. of International Workshop on Concurrency and Coordination (CONCOORD 2001). Electronic Notes in Theoretical Computer Science, vol.\u00a054, Elsevier, Amsterdam (2001)"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Carey, M.J., DeWitt, D.J., Naughton, J.F.: The OO7 benchmark. In: Proceedings of the ACM International Conference on Management of Data, June 1993, vol.\u00a022, pp. 12\u201321 (1993)","DOI":"10.1145\/170036.170041"},{"key":"24_CR15","unstructured":"Choithia, T., Duggan, D.: Abstractions for fault-tolerant computing. Technical Report 2003-3, Department of Computer Science, Stevens Institute of Technology (2003)"},{"issue":"3","key":"24_CR16","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/185827.185843","volume":"19","author":"P. Chrysanthis","year":"1994","unstructured":"Chrysanthis, P., Ramamritham, K.: Synthesis of extended transaction models using ACTA. ACM Transactions on Database Systems\u00a019(3), 450\u2013491 (1994)","journal-title":"ACM Transactions on Database Systems"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Potter, J.M., Noble, J.: Ownership types for flexible alias protection. In: Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, October 1998, vol.\u00a033, pp. 48\u201364 (1998)","DOI":"10.1145\/286936.286947"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Felleisen, M.: The semantics of future and its use in program optimizations. In: Conference Record of the ACM Symposium on Principles of Programming Languages, pp. 209\u2013220 (1995)","DOI":"10.1145\/199448.199484"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Type-based race detection for Java. In: Proceedings of the ACM Conference on Programming Language Design and Implementation, June 2000, vol.\u00a035, pp. 219\u2013232 (2000)","DOI":"10.1145\/349299.349328"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: Types for atomicity. In: Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Language Design and Implementation, pp. 1\u201312 (2003)","DOI":"10.1145\/604174.604176"},{"key":"24_CR21","volume-title":"Data Management Systems","author":"J. Gray","year":"1993","unstructured":"Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. In: Data Management Systems, Morgan Kaufmann, San Francisco (1993)"},{"issue":"4","key":"24_CR22","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R.H. Halstead Jr.","year":"1985","unstructured":"Halstead Jr., R.H.: Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems\u00a07(4), 501\u2013538 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"volume-title":"Research Directions in Parallel Functional Programming","year":"1999","key":"24_CR23","unstructured":"Hammond, K., Michaelson, G. (eds.): Research Directions in Parallel Functional Programming. Springer, Heidelberg (1999)"},{"key":"24_CR24","doi-asserted-by":"crossref","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. In: Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, November 2003, vol.\u00a038, pp. 388\u2013402 (2003)","DOI":"10.1145\/949305.949340"},{"key":"24_CR25","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Luchangco, V., Moir, M., Scherer III., W.N.: Software transactional memory for dynamic-sized data structures. In: Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, pp. 92\u2013101 (2003)","DOI":"10.1145\/872035.872048"},{"key":"24_CR26","doi-asserted-by":"crossref","unstructured":"Hosking, A.L., Moss, J.E.B.: Object fault handling for persistent programming languages: A performance evaluation. In: Proceedings of the ACM Conference on Object- Oriented Programming Systems, Languages, and Applications, October 1993, vol.\u00a028, pp. 288\u2013303 (1993)","DOI":"10.1145\/165854.165907"},{"key":"24_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-540-24634-3_15","volume-title":"Coordination Models and Languages","author":"S. Jagannathan","year":"2004","unstructured":"Jagannathan, S., Vitek, J.: Optimistic Concurrency Semantics for Transactions in Coordination Languages. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 183\u2013198. Springer, Heidelberg (2004)"},{"key":"24_CR28","unstructured":"Jensen, E.H., Hagensen, G.W., Broughton, J.M.: A new approach to exclusive data access in shared memory multiprocessors. Technical report, Lawrence Livermore National Laboratories (1987)"},{"issue":"4","key":"24_CR29","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/319566.319567","volume":"9","author":"H.T. Kung","year":"1981","unstructured":"Kung, H.T., Robinson, J.T.: On optimistic methods for concurrency control. ACM Transactions on Database Systems\u00a09(4), 213\u2013226 (1981)","journal-title":"ACM Transactions on Database Systems"},{"key":"24_CR30","volume-title":"AtomicTransactions","author":"N. Lynch","year":"1994","unstructured":"Lynch, N., Merritt, M., Weihl, W., Fekete, A.: AtomicTransactions. Morgan Kaufmann, San Francisco (1994)"},{"key":"24_CR31","doi-asserted-by":"crossref","unstructured":"Michaelson, G., Scaife, N., Bristow, P., King, P.: Nested algorithmic skeletons from higher order functions. In: Parallel Algorithms and Applications. Special issue on High Level Models and Languages for Parallel Processing (2000)","DOI":"10.1080\/01495730108935271"},{"key":"24_CR32","volume-title":"Nested Transactions: An Approach to Reliable Distributed Computing","author":"J. Eliot","year":"1985","unstructured":"Eliot, J., Moss, B.: Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, Cambridge (1985)"},{"key":"24_CR33","unstructured":"Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, vol. 36 (November 2001)"},{"key":"24_CR34","unstructured":"Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, vol. 34 (October 1999)"},{"key":"24_CR35","doi-asserted-by":"crossref","unstructured":"Rajwar, R., Goodman, J.R.: Transactional lock-free execution of lock-based programs. In: Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems, October 2002, vol.\u00a037, pp. 5\u201317 (2002)","DOI":"10.1145\/605397.605399"},{"key":"24_CR36","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511574962","volume-title":"Concurrent Programming in ML","author":"J. Reppy","year":"1999","unstructured":"Reppy, J.: Concurrent Programming in ML. Cambridge University Press, Cambridge (1999)"},{"issue":"4","key":"24_CR37","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/329466.329486","volume":"17","author":"M. Rinard","year":"1999","unstructured":"Rinard, M.: Effective fine-grained synchronization for automatically parallelized programs using optimistic synchronization primitives. ACM Transactions on Computer Systems\u00a017(4), 337\u2013371 (1999)","journal-title":"ACM Transactions on Computer Systems"},{"key":"24_CR38","doi-asserted-by":"crossref","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. In: Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, pp. 204\u2013213 (1995)","DOI":"10.1145\/224964.224987"},{"issue":"1","key":"24_CR39","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1017\/S0956796897002967","volume":"8","author":"P.W. Trinder","year":"1998","unstructured":"Trinder, P.W., Hammond, K., Loidl, H.-W., Jones, S.L.P.: Algorithms + strategy = parallelism. Journal of Functional Programming\u00a08(1), 23\u201360 (1998)","journal-title":"Journal of Functional Programming"},{"key":"24_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-540-24725-8_18","volume-title":"Programming Languages and Systems","author":"J. Vitek","year":"2004","unstructured":"Vitek, J., Jagannathan, S., Welc, A., Hosking, A.L.: Asemantic framework for designer transactions. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 249\u2013263. Springer, Heidelberg (2004)"},{"key":"24_CR41","doi-asserted-by":"crossref","unstructured":"von Praun, C., Gross, T.R.: Object race detection. In: OOPSLA 2001 [33], pp. 70\u201382 (2001)","DOI":"10.1145\/504282.504288"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2004 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24851-4_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T13:50:18Z","timestamp":1685713818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24851-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221593","9783540248514"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24851-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}