{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:57:47Z","timestamp":1725487067286},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540727934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72794-1_11","type":"book-chapter","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T07:13:58Z","timestamp":1182755638000},"page":"191-210","source":"Crossref","is-referenced-by-count":0,"title":["Generalized Committed Choice"],"prefix":"10.1007","author":[{"given":"Joxan","family":"Jaffar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roland H. C.","family":"Yap","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenny Q.","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Bonner, A.J., Kifer, M.: Transaction logic programming. In: Intl. Conf. on Logic Programming (1993)"},{"key":"11_CR2","unstructured":"Bonner, A.J., Kifer, M.: Concurrency and communication in transaction logic. In: Joint Intl. Conf. and Symp. on Logic Programming (1996)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Dayal, U., Hsu, M., Ladin, R.: Organizing long-running activities with triggers and transactions. ACM SIGMOD Conf. on Management of Data (1990)","DOI":"10.1145\/93597.98730"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Donnelly, K., Fluet, M.: Transactional events. In: Proceedings of ICFP (2006)","DOI":"10.1145\/1159803.1159821"},{"key":"11_CR5","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Garcia-Molina, H., Salem, K.: Sagas. In: ACM SIGMOD Conf. on Management of Data (1987)","DOI":"10.1145\/38713.38742"},{"issue":"4","key":"11_CR7","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1145\/504083.504085","volume":"23","author":"G. Gupta","year":"2001","unstructured":"Gupta, G., Pontelli, E., Ali, K.A.M., Carlsson, M., Hermenegildo, M.V.: Parallel execution of prolog programs: a survey. ACM Trans. on Programming Languages and Systems\u00a023(4), 472\u2013602 (2001)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"11_CR8","volume-title":"ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming","author":"T. Harris","year":"2005","unstructured":"Harris, T., Marlow, S., Jones, S.P., Herlihy, M.: Composable memory transactions. In: ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming, ACM Press, New York (2005)"},{"key":"11_CR9","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0096-0551(87)90010-5","volume":"12","author":"M.E.C. Hull","year":"1987","unstructured":"Hull, M.E.C.: Occam - a programming language for multiprocessor systems. Comput. Lang.\u00a012(1), 27\u201337 (1987)","journal-title":"Comput. Lang."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Yap, R.H., Zhu, K.Q.: Coordination of many agents. In: Intl. Conf. on Logic Programming (2005)","DOI":"10.1007\/11562931_10"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Yap, R.H.C., Zhu, K.Q.: Indexing for dynamic abstract regions. In: Intl. Conf. on Data Engineering (2006)","DOI":"10.1109\/ICDE.2006.81"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part I\/II. J, of Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"J, of Information and Computation"},{"issue":"4","key":"11_CR14","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1145\/69558.69559","volume":"11","author":"G. Nelson","year":"1989","unstructured":"Nelson, G.: A generalization of dijkstra\u2019s calculus. ACM Trans. on Programming Languages and Systems\u00a011(4), 517\u2013561 (1989)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"11_CR15","volume-title":"Database Management Systems","author":"R. Ramakrishnan","year":"2002","unstructured":"Ramakrishnan, R., Gehrke, J.: Database Management Systems. McGraw-Hill, New York (2002)"},{"key":"11_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V.A. Saraswat","year":"1993","unstructured":"Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (1993)"},{"issue":"1","key":"11_CR17","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF03037020","volume":"1","author":"E.Y. Shapiro","year":"1983","unstructured":"Shapiro, E.Y., Takeuchi, A.: Object oriented programming in concurrent prolog. New Generation Comput.\u00a01(1), 25\u201348 (1983)","journal-title":"New Generation Comput."},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Smolka, G.: The Oz programming model. Computer Science Today, pp. 324\u2013343 (1995)","DOI":"10.1007\/BFb0015252"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Ueda, K.: Guarded horn clauses. In: Intl. Conf. on Logic Programming (1986)","DOI":"10.1007\/3-540-16479-0_17"},{"key":"11_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-6134-4","volume-title":"Parallel, Object-Oriented, and Active Knowledge-Base Systems","author":"I. Vlahavas","year":"1998","unstructured":"Vlahavas, I., Bassiliades, N.: Parallel, Object-Oriented, and Active Knowledge-Base Systems. Kluwer Academic Publishers, Dordrecht (1998)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72794-1_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:05:30Z","timestamp":1605744330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72794-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540727934"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72794-1_11","relation":{},"subject":[]}}