{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:23:21Z","timestamp":1729610601761,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006,9]]},"DOI":"10.1109\/scw.2006.41","type":"proceedings-article","created":{"date-parts":[[2006,12,18]],"date-time":"2006-12-18T15:10:16Z","timestamp":1166454616000},"page":"97-104","source":"Crossref","is-referenced-by-count":3,"title":["Verifying Choreographic Descriptions of Web Services Based on CSP"],"prefix":"10.1109","author":[{"given":"W.","family":"Yeung","sequence":"first","affiliation":[]},{"given":"Ji","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Wei","family":"Dong","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2004.1314722"},{"journal-title":"Concurrent and Real-Time Systems The CSP Approach","year":"2000","author":"schneider","key":"18"},{"journal-title":"The Theory and Practice of Concurrency","year":"1998","author":"roscoe","key":"15"},{"key":"16","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/3-540-60630-0_7","article-title":"Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock","volume":"1019","author":"roscoe","year":"1995","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"13"},{"journal-title":"Communicating and Mobile Systems The ?-Calculus","year":"1999","author":"milner","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"journal-title":"Proc OTM 2005","article-title":"From inter-organizational workflows to process execution: Generating BPEL from WS-CDL","year":"2005","author":"mendling","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.05.007"},{"journal-title":"BPTrends","article-title":"A critical overview of the web services choreography description language (WS-CDL)","year":"2005","author":"barros","key":"2"},{"year":"0","key":"1"},{"key":"10","first-page":"319","article-title":"Data independence with generalised predicate symbols","volume":"1","author":"lazic?","year":"1999","journal-title":"Proc of the International Conference on Parallel and Distributed Processing Techniques and Applications"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988756"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2005.119"},{"journal-title":"Failures-Divergence Refinement FDR2 User Manual","year":"2003","key":"5"},{"year":"0","key":"4"},{"year":"0","key":"9"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"8"}],"event":{"name":"2006 IEEE Services Computing Workshops","start":{"date-parts":[[2006,9,18]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2006,9,18]]}},"container-title":["2006 IEEE Services Computing Workshops"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4026993\/4026994\/04027023.pdf?arnumber=4027023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T08:21:55Z","timestamp":1497687715000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4027023\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9]]},"references-count":18,"URL":"http:\/\/dx.doi.org\/10.1109\/scw.2006.41","relation":{},"subject":[],"published":{"date-parts":[[2006,9]]}}}
