{"id":"https://openalex.org/W2792897185","doi":"https://doi.org/10.1109/ccwc.2018.8301703","title":"Modeling and analysis of the disruptor framework in CSP","display_name":"Modeling and analysis of the disruptor framework in CSP","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2792897185","doi":"https://doi.org/10.1109/ccwc.2018.8301703","mag":"2792897185"},"language":"en","primary_location":{"id":"doi:10.1109/ccwc.2018.8301703","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccwc.2018.8301703","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 8th Annual Computing and Communication Workshop and Conference (CCWC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049840432","display_name":"Yucheng Fang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yucheng Fang","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102937444","display_name":"Huibiao Zhu","orcid":"https://orcid.org/0000-0002-0214-8565"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huibiao Zhu","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082109015","display_name":"Frank Zeyda","orcid":"https://orcid.org/0009-0009-4251-4740"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Frank Zeyda","raw_affiliation_strings":["Department of Computer Science, University of York"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of York","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100698598","display_name":"Yuan Fei","orcid":"https://orcid.org/0000-0002-0977-2256"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuan Fei","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"803","last_page":"809"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9923999905586243,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.989799976348877,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7646328806877136},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7632399797439575},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.593710720539093},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.5474246144294739},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.5375063419342041},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4429887533187866},{"id":"https://openalex.org/keywords/swap","display_name":"Swap (finance)","score":0.4229621887207031},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3460274934768677},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3425423502922058}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7646328806877136},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7632399797439575},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.593710720539093},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.5474246144294739},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.5375063419342041},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4429887533187866},{"id":"https://openalex.org/C99821215","wikidata":"https://www.wikidata.org/wiki/Q1136583","display_name":"Swap (finance)","level":2,"score":0.4229621887207031},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3460274934768677},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3425423502922058},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ccwc.2018.8301703","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccwc.2018.8301703","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 8th Annual Computing and Communication Workshop and Conference (CCWC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4000000059604645,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1518754760","https://openalex.org/W1532054750","https://openalex.org/W1590311206","https://openalex.org/W1602114053","https://openalex.org/W2050362288","https://openalex.org/W2081399760","https://openalex.org/W2101659955","https://openalex.org/W2116352900","https://openalex.org/W2119494075","https://openalex.org/W2128510433","https://openalex.org/W2129384397","https://openalex.org/W2132283882","https://openalex.org/W2160686642","https://openalex.org/W2989996108","https://openalex.org/W3144368627","https://openalex.org/W4210886820"],"related_works":["https://openalex.org/W1990409638","https://openalex.org/W2365256108","https://openalex.org/W2355319912","https://openalex.org/W1604894272","https://openalex.org/W2155852086","https://openalex.org/W2391570358","https://openalex.org/W2324339387","https://openalex.org/W2003908543","https://openalex.org/W2799251552","https://openalex.org/W188099908"],"abstract_inverted_index":{"The":[0],"LMAX":[1,27],"Disruptor":[2,54,115],"is":[3,88],"a":[4],"high":[5],"performance":[6],"concurrency":[7],"framework":[8],"based":[9],"on":[10],"CAS":[11],"(Compare":[12],"And":[13],"Swap).":[14],"It":[15],"has":[16],"drawn":[17],"huge":[18],"interest":[19],"from":[20],"industry":[21],"due":[22],"to":[23,37,64,77],"its":[24],"efficiency;":[25],"the":[26,48,57,70,80,86,91,110],"business":[28],"software":[29],"using":[30],"it":[31],"can,":[32],"for":[33],"instance,":[34],"handle":[35],"up":[36],"six":[38],"million":[39],"orders":[40],"per":[41],"second.":[42],"In":[43],"this":[44,117],"paper,":[45],"we":[46,68],"study":[47],"main":[49],"principles":[50],"and":[51,55,83,93,104,112],"theories":[52],"of":[53,114],"apply":[56],"process":[58],"algebra":[59],"CSP":[60],"(Communicating":[61],"Sequential":[62],"Process)":[63],"model":[65,71,87],"it.":[66],"Further,":[67],"use":[69],"checker":[72],"FDR":[73],"(Failure":[74],"Divergence":[75],"Refinement)":[76],"automatically":[78],"simulate":[79],"developed":[81],"model,":[82],"verify":[84],"whether":[85],"consistent":[89],"with":[90],"specification":[92],"exhibits":[94],"relevant":[95],"secure":[96],"properties":[97],"like":[98],"deadlock":[99],"freedom,":[100],"data":[101],"race":[102],"freedom":[103],"reading":[105],"correctness.":[106],"Our":[107],"results":[108],"show":[109],"correctness":[111],"safety":[113],"in":[116],"respect.":[118]},"counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}