{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:09:18Z","timestamp":1729620558575,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/ccis.2012.6664258","type":"proceedings-article","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T21:48:02Z","timestamp":1385588882000},"page":"666-669","source":"Crossref","is-referenced-by-count":0,"title":["An approach to improve process algebra based protocol composition model"],"prefix":"10.1109","author":[{"given":"Xiaoming","family":"Tian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiuxin","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1109\/ICNP.2003.1249774","article-title":"Systematic verification of safety properties of arbitrary network protocol compositions using CHAIN[A]","author":"bradley","year":"2003","journal-title":"Proceedings of 11th IEEE International Conference on Network Protocols[C]"},{"key":"2","article-title":"Communicating sequential processes[m]","author":"hoare","year":"1985","journal-title":"Englewood Cliffs"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90088-X"},{"key":"7","article-title":"The soundness and completeness of axioms for CSP processes","author":"blamey","year":"1991","journal-title":"Topology and Category Theory in Computer Science"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(84)80025-X"},{"year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(84)80025-X"},{"key":"9","first-page":"85","article-title":"A formal model of protocol composition based on process algebra","volume":"34","author":"shen","year":"2004","journal-title":"Northwestern University"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-15670-4_14","article-title":"An improved failures model for CSP","author":"brookes","year":"1985","journal-title":"Proceedings of the Pittsburgh Seminar on Concurrency Springer LNCS 197"}],"event":{"name":"2012 IEEE 2nd International Conference on Cloud Computing and Intelligence Systems (CCIS)","start":{"date-parts":[[2012,10,30]]},"location":"Hangzhou, China","end":{"date-parts":[[2012,11,1]]}},"container-title":["2012 IEEE 2nd International Conference on Cloud Computing and Intelligence Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6637132\/6664224\/06664258.pdf?arnumber=6664258","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T03:16:31Z","timestamp":1498101391000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6664258\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/ccis.2012.6664258","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}