{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T22:36:39Z","timestamp":1763764599153,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,3,26]],"date-time":"2012-03-26T00:00:00Z","timestamp":1332720000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["22485"],"award-info":[{"award-number":["22485"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,3,26]]},"DOI":"10.1145\/2245276.2232017","type":"proceedings-article","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T13:03:31Z","timestamp":1339419811000},"page":"1510-1515","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Dreams"],"prefix":"10.1145","author":[{"given":"Jos\u00e9","family":"Proen\u00e7a","sequence":"first","affiliation":[{"name":"IBBT-DistriNet, Katholieke Unitversiteit Leuven Leuven, Belgium"}]},{"given":"Dave","family":"Clarke","sequence":"additional","affiliation":[{"name":"IBBT-DistriNet, Katholieke Unitversiteit Leuven Leuven, Belgium"}]},{"given":"Erik","family":"de Vink","sequence":"additional","affiliation":[{"name":"TUE, Eindhoven, The Netherlands"}]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[{"name":"CWI, Amsterdam, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2012,3,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: a model of concurrent computation in distributed systems","author":"Agha G.","year":"1986","unstructured":"G. Agha . Actors: a model of concurrent computation in distributed systems . The MIT Press , 1986 . G. Agha. Actors: a model of concurrent computation in distributed systems. The MIT Press, 1986."},{"key":"e_1_3_2_1_2_1","first-page":"2635","article-title":"An algebraic theory of actors and its application to a simple object-based language. In O. Owe, S. Krogdahl, and T. Lyche, editors, Essays in Memory of Ole-Johan Dahl, pages 26--57","author":"Agha G.","year":"2004","unstructured":"G. Agha and P. Thati . An algebraic theory of actors and its application to a simple object-based language. In O. Owe, S. Krogdahl, and T. Lyche, editors, Essays in Memory of Ole-Johan Dahl, pages 26--57 . LNCS 2635 , 2004 . G. Agha and P. Thati. An algebraic theory of actors and its application to a simple object-based language. In O. Owe, S. Krogdahl, and T. Lyche, editors, Essays in Memory of Ole-Johan Dahl, pages 26--57. LNCS 2635, 2004.","journal-title":"LNCS"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00231-2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004153"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03429-9_4"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of FACS","author":"Arbab F.","year":"2008","unstructured":"F. Arbab , C. Koehler , Z. Maraikar , Y.-J. Moon , and J. Proen\u00e7a . Modeling, testing and executing Reo connectors with the Eclipse Coordination Tools . In Proceedings of FACS , 2008 . F. Arbab, C. Koehler, Z. Maraikar, Y.-J. Moon, and J. Proen\u00e7a. Modeling, testing and executing Reo connectors with the Eclipse Coordination Tools. In Proceedings of FACS, 2008."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.10.008"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.10.044"},{"key":"e_1_3_2_1_9_1","first-page":"425","volume-title":"The foundations of Esterel","author":"Berry G.","year":"2000","unstructured":"G. Berry . The foundations of Esterel . In G. D. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language , and Interaction, pages 425 -- 454 . The MIT Press , 2000 . G. Berry. The foundations of Esterel. In G. D. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language, and Interaction, pages 425--454. The MIT Press, 2000."},{"key":"e_1_3_2_1_10_1","volume-title":"May","author":"WS.","year":"2003","unstructured":"BPEL4 WS. Business Process Execution Language for Web Services , May 2003 . BPEL4WS. Business Process Execution Language for Web Services, May 2003."},{"key":"e_1_3_2_1_11_1","first-page":"321","volume-title":"CONCUR","author":"Bruni R.","year":"2002","unstructured":"R. Bruni , C. Laneve , and U. Montanari . Orchestrating transactions in Join calculus. In L. Brim, P. Jancar, M. Kret\u00ednsk\u00fd, and A. Kucera, editors , CONCUR , pages 321 -- 337 . LNCS 2421, 2002 . R. Bruni, C. Laneve, and U. Montanari. Orchestrating transactions in Join calculus. In L. Brim, P. Jancar, M. Kret\u00ednsk\u00fd, and A. Kucera, editors, CONCUR, pages 321--337. LNCS 2421, 2002."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.009"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.05.004"},{"key":"e_1_3_2_1_15_1","volume-title":"Introduction to Reliable Distributed Programming","author":"Guerraoui R.","year":"2006","unstructured":"R. Guerraoui and L. Rodrigues . Introduction to Reliable Distributed Programming . Springer , 2006 . R. Guerraoui and L. Rodrigues. Introduction to Reliable Distributed Programming. Springer, 2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.019"},{"key":"e_1_3_2_1_17_1","first-page":"169","volume-title":"COORDINATION","volume":"5052","author":"Khosravi R.","year":"2008","unstructured":"R. Khosravi , M. Sirjani , N. Asoudeh , S. Sahebi , and H. Iravanchi . Modeling and analysis of Reo connectors using Alloy. In D. Lea and G. Zavattaro, editors , COORDINATION , volume 5052 , pages 169 -- 183 . LNCS 5052, 2008 . R. Khosravi, M. Sirjani, N. Asoudeh, S. Sahebi, and H. Iravanchi. Modeling and analysis of Reo connectors using Alloy. In D. Lea and G. Zavattaro, editors, COORDINATION, volume 5052, pages 169--183. LNCS 5052, 2008."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529587"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89652-4_9"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/352591.352592"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.034"},{"key":"e_1_3_2_1_23_1","volume-title":"Faculty of Mathematics and Natural Sciences","author":"Proen\u00e7a J.","year":"2011","unstructured":"J. Proen\u00e7a . Synchronous Coordination of Distributed Components. PhD thesis, LIACS , Faculty of Mathematics and Natural Sciences , Leiden University , 2011 . J. Proen\u00e7a. Synchronous Coordination of Distributed Components. PhD thesis, LIACS, Faculty of Mathematics and Natural Sciences, Leiden University, 2011."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"}],"event":{"name":"SAC 2012: ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Trento Italy","acronym":"SAC 2012"},"container-title":["Proceedings of the 27th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2245276.2232017","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2245276.2232017","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:43Z","timestamp":1750241203000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2245276.2232017"}},"subtitle":["a framework for distributed synchronous coordination"],"short-title":[],"issued":{"date-parts":[[2012,3,26]]},"references-count":22,"alternative-id":["10.1145\/2245276.2232017","10.1145\/2245276"],"URL":"https:\/\/doi.org\/10.1145\/2245276.2232017","relation":{},"subject":[],"published":{"date-parts":[[2012,3,26]]},"assertion":[{"value":"2012-03-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}