{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:27:13Z","timestamp":1742401633869,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/icws.2004.1314728","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"96-103","source":"Crossref","is-referenced-by-count":5,"title":["Realizability of conversation protocols with message contents"],"prefix":"10.1109","author":[{"family":"Xiang Fu","sequence":"first","affiliation":[]},{"given":"T.","family":"Bultan","sequence":"additional","affiliation":[]},{"family":"Jianwen Su","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","first-page":"52","article-title":"A library for composite symbolic representations","author":"yavuz-kahveci","year":"2001","journal-title":"Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"year":"0","journal-title":"Web Services Choreography Interface (WSCI)","key":"15"},{"year":"0","journal-title":"XML Schema","key":"16"},{"year":"0","journal-title":"Web Services Description Language (WSDL) Version 1 2","key":"13"},{"year":"0","journal-title":"Web Service Analysis Tool (WSAT)","key":"14"},{"year":"0","journal-title":"Microsoft Message Queuing Service","key":"11"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1145\/511455.511457"},{"year":"2001","journal-title":"Proceedings of the Intl Semantic Web Working Symposium (SWWS)","article-title":"DAML-S: Semantic markup for web services","key":"3"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1145\/775152.775210"},{"year":"0","journal-title":"Business Process Execution Language for Web Services (BPEL4WS) Version 1 1","key":"1"},{"year":"1996","journal-title":"Message Sequence Charts (MSC 96)","key":"10"},{"key":"7","article-title":"Readability of conversation protocols with message contents","volume":"2004","author":"fu","year":"2004","journal-title":"Technical report of the dept of computer science"},{"key":"6","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/3-540-45089-0_18","article-title":"Conversation protocols: A formalism for specification and verification of reactive electronic services","author":"fu","year":"2003","journal-title":"Proc 8th Int Conf on Implementation and Application of Automata (CIAA)"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1145\/988672.988756"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/ASE.2003.1240303"},{"year":"0","journal-title":"Java Message Service","key":"9"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/EDOC.2002.1137697"}],"event":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","start":{"date-parts":[[2004,7,9]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2004,7,9]]}},"container-title":["Proceedings. IEEE International Conference on Web Services, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9185\/29136\/01314728.pdf?arnumber=1314728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:52:44Z","timestamp":1497613964000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1314728\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icws.2004.1314728","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}