{"id":"https://openalex.org/W2145987238","doi":"https://doi.org/10.1109/icpads.2007.4447747","title":"Using synchronized atoms to check distributed programs","display_name":"Using synchronized atoms to check distributed programs","publication_year":2007,"publication_date":"2007-12-01","ids":{"openalex":"https://openalex.org/W2145987238","doi":"https://doi.org/10.1109/icpads.2007.4447747","mag":"2145987238"},"language":"en","primary_location":{"id":"doi:10.1109/icpads.2007.4447747","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icpads.2007.4447747","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 International Conference on Parallel and Distributed Systems","raw_type":"proceedings-article"},"type":"article","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/A5012835959","display_name":"H.F. Li","orcid":"https://orcid.org/0009-0006-9319-6736"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"H.F. Li","raw_affiliation_strings":["Department of Computer Science and Software Engineering, Concordia University, Montreal, QUE, Canada","[Department of Computer Science and Software Engineering, Concordia University, Montreal, QC]"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Software Engineering, Concordia University, Montreal, QUE, Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"[Department of Computer Science and Software Engineering, Concordia University, Montreal, QC]","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023462779","display_name":"Eslam Al Maghayreh","orcid":"https://orcid.org/0000-0003-2436-0249"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"E. Al Maghayreh","raw_affiliation_strings":["Department of Computer Science and Software Engineering, Concordia University, Montreal, QUE, Canada","[Department of Computer Science and Software Engineering, Concordia University, Montreal, QC]"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Software Engineering, Concordia University, Montreal, QUE, Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"[Department of Computer Science and Software Engineering, Concordia University, Montreal, QC]","institution_ids":["https://openalex.org/I60158472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5012835959"],"corresponding_institution_ids":["https://openalex.org/I60158472"],"apc_list":null,"apc_paid":null,"fwci":0.3209,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.67207124,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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/T12288","display_name":"Optimization and Search Problems","score":0.9975000023841858,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/computer-science","display_name":"Computer science","score":0.7419638633728027},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.6877884864807129},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6617068648338318},{"id":"https://openalex.org/keywords/serialization","display_name":"Serialization","score":0.548195481300354},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5408497452735901},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.46640387177467346},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4649238586425781},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.45554155111312866},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4510174095630646},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4458779990673065},{"id":"https://openalex.org/keywords/syntactic-predicate","display_name":"Syntactic predicate","score":0.426891028881073},{"id":"https://openalex.org/keywords/predicate-abstraction","display_name":"Predicate abstraction","score":0.4113951325416565},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3816410303115845},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35196900367736816},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21319490671157837},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.08934125304222107}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7419638633728027},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.6877884864807129},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6617068648338318},{"id":"https://openalex.org/C52723943","wikidata":"https://www.wikidata.org/wiki/Q1127410","display_name":"Serialization","level":2,"score":0.548195481300354},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5408497452735901},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.46640387177467346},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4649238586425781},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.45554155111312866},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4510174095630646},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4458779990673065},{"id":"https://openalex.org/C1807295","wikidata":"https://www.wikidata.org/wiki/Q7662657","display_name":"Syntactic predicate","level":3,"score":0.426891028881073},{"id":"https://openalex.org/C2779907942","wikidata":"https://www.wikidata.org/wiki/Q7239630","display_name":"Predicate abstraction","level":3,"score":0.4113951325416565},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3816410303115845},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35196900367736816},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21319490671157837},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.08934125304222107},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icpads.2007.4447747","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icpads.2007.4447747","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 International Conference on Parallel and Distributed Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5099999904632568,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1529733775","https://openalex.org/W1652742168","https://openalex.org/W2056042192","https://openalex.org/W2082766667","https://openalex.org/W2110116921","https://openalex.org/W2128553025","https://openalex.org/W2132773226","https://openalex.org/W2141831627","https://openalex.org/W2157888439","https://openalex.org/W2160458341","https://openalex.org/W2171076136","https://openalex.org/W3137220996","https://openalex.org/W6631867359","https://openalex.org/W6636927302","https://openalex.org/W6679356634","https://openalex.org/W6685190909"],"related_works":["https://openalex.org/W1531204343","https://openalex.org/W2522501807","https://openalex.org/W1543673780","https://openalex.org/W2120526551","https://openalex.org/W4232099822","https://openalex.org/W1780369767","https://openalex.org/W96703786","https://openalex.org/W191072716","https://openalex.org/W1529035622","https://openalex.org/W2370231096"],"abstract_inverted_index":{"The":[0],"execution":[1],"of":[2,29,69,89,98,126,143,171],"a":[3,7,30,61,95,106,117,130,151],"distributed":[4,31],"program":[5],"generates":[6],"large":[8],"state":[9,27,42],"space":[10],"which":[11],"needs":[12,133],"to":[13,35,49,63,134],"be":[14,135,138],"checked":[15,136],"in":[16,24,154],"testing":[17],"and":[18,76],"debugging.":[19],"Atoms":[20],"are":[21,53,165],"useful":[22],"abstractions":[23],"reducing":[25],"the":[26,36,40,87,90,124,127,141,155,158],"lattice":[28,38],"computation;":[32],"we":[33],"refer":[34],"reduced":[37],"as":[39],"atomic":[41],"lattice.":[43],"However,":[44],"general":[45,118,131,152],"predicates":[46],"remain":[47],"difficult":[48],"check":[50],"if":[51],"they":[52],"asserted":[54],"over":[55],"all":[56],"states.":[57],"This":[58],"paper":[59],"presents":[60],"formulation":[62],"attack":[64],"this":[65,121],"problem":[66],"involving":[67],"separation":[68],"two":[70],"different":[71],"concerns:":[72],"(a)":[73],"order/synchronization":[74],"requirement,":[75],"(b)":[77],"computational":[78],"dependency":[79,110],"among":[80,101,111],"atoms.":[81,99],"Order":[82],"requirement":[83],"is":[84,103,114,161],"modeled":[85,115],"by":[86,94,105,116,140],"serialization":[88],"global":[91],"states":[92,113,128],"reached":[93],"synchronized":[96,112],"set":[97],"Synchrony":[100],"atoms":[102,144],"specified":[104],"synchronization":[107,159],"predicate.":[108,119],"Computational":[109],"With":[120],"modeling":[122],"assumption,":[123],"number":[125,142],"where":[129,157],"predicate":[132,160],"will":[137],"bounded":[139],"executed.":[145],"Two":[146],"efficient":[147],"algorithms":[148],"for":[149],"checking":[150],"predicate,":[153],"cases":[156],"conjunctive":[162],"or":[163],"disjunctive,":[164],"presented":[166],"along":[167],"with":[168],"their":[169],"proof":[170],"correctness.":[172]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}