{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:01:11Z","timestamp":1729630871323,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,4]]},"DOI":"10.1109\/cscwd.2007.4281407","type":"proceedings-article","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T15:59:31Z","timestamp":1186588771000},"page":"42-46","source":"Crossref","is-referenced-by-count":1,"title":["Network Data Collection Formal Analysis Based on Communication Sequential Process"],"prefix":"10.1109","author":[{"given":"Tie","family":"Bao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shufen","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Yan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yaorui","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaochun","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhanguo","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuying","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"333","article-title":"Communicating Sequential Processes: The First 25 Years [J]. Lecture Notes in Computer Science, v 3525","author":"abdallah","year":"2005","journal-title":"Communicating Sequential Processes The First 25 Years Symposium on the Occasion of 25 Years of CSP Revised Invited Papers"},{"journal-title":"Communication and Concurrency [M]","year":"1989","author":"milner","key":"ref3"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1109\/PDSE.2000.847856","article-title":"CSP model for Java multithreading [J]","author":"welch peter","year":"2000","journal-title":"Proc of the 2nd International Workshop on Software Engineering for Parallel and Distributed Systems"},{"key":"ref6","first-page":"42","article-title":"Using CSP to model and analyze transmission control protocol vulnerabilities within the broadcast network [J]","author":"hamid reza","year":"2004","journal-title":"Proceedings – 2004 International Networking and Communication Conference INCC 2004"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1016\/j.ins.2004.11.007","article-title":"Communicating sequential processes for distributed constraint satisfaction [J]","volume":"176","author":"ilias","year":"2006","journal-title":"Information Sciences"},{"key":"ref5","first-page":"73","article-title":"Structuring Parallel and Distributed Programs [J]. Software Engineering","volume":"8","author":"magee","year":"1993","journal-title":"Jouranal IEEE"},{"key":"ref8","first-page":"111","article-title":"Protocol Specification Based CSP [J]","volume":"33","author":"yong","year":"1997","journal-title":"Acta Scientiarum Naturalium Universitatis Pekinensis"},{"key":"ref7","first-page":"43","article-title":"Extentions to CSP and its Application of Formal Technology of Protocols [J]","volume":"25","author":"xiang","year":"2004","journal-title":"Journal of China Institute of Communications"},{"key":"ref2","article-title":"Then consistency of the calculus of total correctness for communicating processes part I [J]","volume":"29","author":"chaochen","year":"1986","journal-title":"Scientia Sinica A"},{"journal-title":"Abhijit Belapurkar CSP for Java programmers","year":"2005","key":"ref9"},{"journal-title":"Communicating Sequential Processes [M]","year":"1985","author":"hoare","key":"ref1"}],"event":{"name":"2007 11th International Conference on Computer Supported Cooperative Work in Design","start":{"date-parts":[[2007,4,26]]},"location":"Melbourne, Australia","end":{"date-parts":[[2007,4,28]]}},"container-title":["2007 11th International Conference on Computer Supported Cooperative Work in Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4281389\/4281390\/04281407.pdf?arnumber=4281407","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T21:49:41Z","timestamp":1497736181000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4281407\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/cscwd.2007.4281407","relation":{},"subject":[],"published":{"date-parts":[[2007,4]]}}}