{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:12:45Z","timestamp":1774987965696,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,11,7]],"date-time":"2010-11-07T00:00:00Z","timestamp":1289088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,11,7]]},"DOI":"10.1145\/1882291.1882298","type":"proceedings-article","created":{"date-parts":[[2010,11,12]],"date-time":"2010-11-12T14:38:38Z","timestamp":1289572718000},"page":"27-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Realizability analysis for message-based interactions using shared-state projections"],"prefix":"10.1145","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[{"name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Chicoutimi, PQ, Canada"}]},{"given":"Tevfik","family":"Bultan","sequence":"additional","affiliation":[{"name":"University of California Santa Barbara, Santa Barbara, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2010,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"IBM conversation support project 2002. http:\/\/www.research.ibm.com\/convsupport.  IBM conversation support project 2002. http:\/\/www.research.ibm.com\/convsupport."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0053"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/645956.675943"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72912-9_3"},{"key":"e_1_3_2_1_5_1","volume-title":"W3C note","author":"Carbone M.","year":"2006","unstructured":"M. Carbone , K. Honda , N. Yoshida , R. Milner , G. Brown , and S. Ross-Talbot . A theoretical basis of communication-centred concurrent programming , W3C note , October 2006 . http:\/\/www.w3.org\/2002\/-ws\/chor\/edcopies\/theory\/note.pdf. M. Carbone, K. Honda, N. Yoshida, R. Milner, G. Brown, and S. Ross-Talbot. A theoretical basis of communication-centred concurrent programming, W3C note, October 2006. http:\/\/www.w3.org\/2002\/-ws\/chor\/edcopies\/theory\/note.pdf."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89652-4_26"},{"key":"e_1_3_2_1_7_1","volume-title":"Web services business process execution language version 2.0","author":"Jordan D.","year":"2007","unstructured":"D. Jordan Web services business process execution language version 2.0 , 2007 . http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpelv2.0-OS.html. D. Jordan et al. Web services business process execution language version 2.0, 2007. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpelv2.0-OS.html."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217953"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_48"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.004"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.141"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/645392.651876"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328472"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1243418.1243424"},{"key":"e_1_3_2_1_15_1","unstructured":"Java Message Service. http:\/\/java.sun.com\/products\/jms\/.  Java Message Service. http:\/\/java.sun.com\/products\/jms\/."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11888116_5"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"N.\n      Lohmann O.\n      Kopp F.\n      Leymann and \n      W.\n      Reisig\n  . \n  Analyzing BPEL4Chor: Verification and participant synthesis\n  . In M. Dumas and R. Heckel editors WS-FM volume \n  4937\n   of \n  Lecture Notes in Computer Science pages \n  46\n  --\n  60\n  . \n  Springer 2007\n  .   N. Lohmann O. Kopp F. Leymann and W. Reisig. Analyzing BPEL4Chor: Verification and participant synthesis. In M. Dumas and R. Heckel editors WS-FM volume 4937 of Lecture Notes in Computer Science pages 46--60. Springer 2007.","DOI":"10.1007\/978-3-540-79230-7_4"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2005.42"},{"key":"e_1_3_2_1_19_1","unstructured":"Microsoft Message Queuing Service. http:\/\/www.microsoft.com\/windowsserver2003\/technologies\/msmq\/default.mspx.  Microsoft Message Queuing Service. http:\/\/www.microsoft.com\/windowsserver2003\/technologies\/msmq\/default.mspx."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572275"},{"key":"e_1_3_2_1_21_1","unstructured":"Web services reliable messaging. http:\/\/www.ibm.com\/developerworks\/library\/specification\/ws-rm\/.  Web services reliable messaging. http:\/\/www.ibm.com\/developerworks\/library\/specification\/ws-rm\/."},{"key":"e_1_3_2_1_22_1","volume-title":"http:\/\/www.w3.org\/TR\/ws-cdl-10\/","year":"2005","unstructured":"Web Service Choreography Description Language (WS-CDL). http:\/\/www.w3.org\/TR\/ws-cdl-10\/ , 2005 . Web Service Choreography Description Language (WS-CDL). http:\/\/www.w3.org\/TR\/ws-cdl-10\/, 2005."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2006.50"}],"event":{"name":"SIGSOFT\/FSE'10: 18th ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Santa Fe New Mexico USA","acronym":"SIGSOFT\/FSE'10","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1882291.1882298","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1882291.1882298","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:29Z","timestamp":1750244369000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1882291.1882298"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,7]]},"references-count":23,"alternative-id":["10.1145\/1882291.1882298","10.1145\/1882291"],"URL":"https:\/\/doi.org\/10.1145\/1882291.1882298","relation":{},"subject":[],"published":{"date-parts":[[2010,11,7]]},"assertion":[{"value":"2010-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}