{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T08:38:03Z","timestamp":1725439083194},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1109\/soca.2009.5410263","type":"proceedings-article","created":{"date-parts":[[2010,2,16]],"date-time":"2010-02-16T11:08:22Z","timestamp":1266318502000},"page":"1-5","source":"Crossref","is-referenced-by-count":4,"title":["Verification of channel passing in choreography with model checking"],"prefix":"10.1109","author":[{"given":"Liyang","family":"Peng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Cai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiu","family":"Zongyan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2007","author":"corradini","journal-title":"Verification of WS-CDL choreographies","key":"ref4"},{"year":"2000","author":"clarke","journal-title":"Model checking","key":"ref3"},{"key":"ref6","article-title":"The SPlN Model Checker:","author":"holzmann","year":"2003","journal-title":"Primer and Reference Manual"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1016\/j.entcs.2005.12.042"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/TASE.2008.19"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/SOCA.2009.5410263"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/ICWS.2008.46"},{"year":"2005","journal-title":"Web Services Choreography Description Language (WS-CDL) Version 1 0","key":"ref1"}],"event":{"name":"2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA)","start":{"date-parts":[[2009,1,14]]},"location":"Taipei, Taiwan","end":{"date-parts":[[2009,1,15]]}},"container-title":["2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5375734\/5410249\/05410263.pdf?arnumber=5410263","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T22:54:55Z","timestamp":1489877695000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5410263\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/soca.2009.5410263","relation":{},"subject":[],"published":{"date-parts":[[2009,12]]}}}