{"id":"https://openalex.org/W2967792287","doi":"https://doi.org/10.18293/dmsviva2019-012","title":"Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol","display_name":"Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol","publication_year":2019,"publication_date":"2019-07-08","ids":{"openalex":"https://openalex.org/W2967792287","doi":"https://doi.org/10.18293/dmsviva2019-012","mag":"2967792287"},"language":"en","primary_location":{"id":"doi:10.18293/dmsviva2019-012","is_oa":true,"landing_page_url":"http://doi.org/10.18293/dmsviva2019-012","pdf_url":"https://doi.org/10.18293/dmsviva2019-012","source":{"id":"https://openalex.org/S4386872205","display_name":"Proceedings","issn_l":"2326-3261","issn":["2326-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Distributed Multimedia Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://doi.org/10.18293/dmsviva2019-012","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009553461","display_name":"Dang Duy Bui","orcid":"https://orcid.org/0000-0002-2700-1762"},"institutions":[{"id":"https://openalex.org/I177738480","display_name":"Japan Advanced Institute of Science and Technology","ror":"https://ror.org/03frj4r98","country_code":"JP","type":"education","lineage":["https://openalex.org/I177738480"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Dang Duy Bui","raw_affiliation_strings":["School of Information Science Japan Advanced Institute of Science and Technology (JAIST) 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan"],"affiliations":[{"raw_affiliation_string":"School of Information Science Japan Advanced Institute of Science and Technology (JAIST) 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan","institution_ids":["https://openalex.org/I177738480"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030173635","display_name":"Kazuhiro Ogata","orcid":"https://orcid.org/0000-0002-4441-3259"},"institutions":[{"id":"https://openalex.org/I177738480","display_name":"Japan Advanced Institute of Science and Technology","ror":"https://ror.org/03frj4r98","country_code":"JP","type":"education","lineage":["https://openalex.org/I177738480"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kazuhiro Ogata","raw_affiliation_strings":["School of Information Science Japan Advanced Institute of Science and Technology (JAIST) 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan"],"affiliations":[{"raw_affiliation_string":"School of Information Science Japan Advanced Institute of Science and Technology (JAIST) 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan","institution_ids":["https://openalex.org/I177738480"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5009553461"],"corresponding_institution_ids":["https://openalex.org/I177738480"],"apc_list":null,"apc_paid":null,"fwci":2.8765,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.90800531,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"2019","issue":null,"first_page":"125","last_page":"134"},"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.9997000098228455,"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.9997000098228455,"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/T11152","display_name":"Stochastic processes and statistical mechanics","score":0.9369999766349792,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9218000173568726,"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/mutual-exclusion","display_name":"Mutual exclusion","score":0.7481144666671753},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6519196629524231},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6277996897697449},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2782612144947052},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.0708017349243164}],"concepts":[{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.7481144666671753},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6519196629524231},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6277996897697449},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2782612144947052},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0708017349243164},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18293/dmsviva2019-012","is_oa":true,"landing_page_url":"http://doi.org/10.18293/dmsviva2019-012","pdf_url":"https://doi.org/10.18293/dmsviva2019-012","source":{"id":"https://openalex.org/S4386872205","display_name":"Proceedings","issn_l":"2326-3261","issn":["2326-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Distributed Multimedia Systems","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18293/dmsviva2019-012","is_oa":true,"landing_page_url":"http://doi.org/10.18293/dmsviva2019-012","pdf_url":"https://doi.org/10.18293/dmsviva2019-012","source":{"id":"https://openalex.org/S4386872205","display_name":"Proceedings","issn_l":"2326-3261","issn":["2326-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Distributed Multimedia Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.7900000214576721,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[{"id":"https://openalex.org/G116452283","display_name":"\u30ab\u30e9\u30e1\u30eb\u306e\u69cb\u9020\u304a\u3088\u3073\u53cd\u5fdc\u6a5f\u69cb\u306e\u7814\u7a76","funder_award_id":"62400","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G1541544959","display_name":null,"funder_award_id":"26240008","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G4062999166","display_name":"\u30d1\u30eb\u30b9\u6975\u5f37\u78c1\u5834\u767a\u751f\u30bd\u30ec\u30ce\u30a4\u30c9\u306e\u8a66\u4f5c\u3068, \u5206\u5149, \u78c1\u6c17\u5316\u5b66\u3078\u306e\u5fdc\u7528","funder_award_id":"40008","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G4900254314","display_name":"\u30c1\u30f3\u30d1\u30f3\u30b8\u30fc\u306e\u8a00\u8a9e\u306e\u7fd2\u5f97\u3068\u305d\u306e\u8133\u5185\u6a5f\u69cb\u306b\u95a2\u3059\u308b\u7814\u7a76","funder_award_id":"240008","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5786340949","display_name":null,"funder_award_id":"KAKENHI Grant Number","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G6446868271","display_name":null,"funder_award_id":"JP19H04082","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G8512669803","display_name":null,"funder_award_id":"2019-01","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G8967925710","display_name":"A divide and conquer approach to parallelization of LTL model checking","funder_award_id":"19H04082","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2967792287.pdf","grobid_xml":"https://content.openalex.org/works/W2967792287.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W657159919","https://openalex.org/W1514343851","https://openalex.org/W1980152580","https://openalex.org/W2066498155","https://openalex.org/W2072113070","https://openalex.org/W2073544622","https://openalex.org/W2075854425","https://openalex.org/W2125910575","https://openalex.org/W2131931153","https://openalex.org/W2159675211","https://openalex.org/W2296518237","https://openalex.org/W2733954253","https://openalex.org/W2795246567","https://openalex.org/W2799053919","https://openalex.org/W2892381217","https://openalex.org/W3091897209","https://openalex.org/W6669650361","https://openalex.org/W6672926539"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W3046715470","https://openalex.org/W2531084474","https://openalex.org/W2383425257","https://openalex.org/W2060358765","https://openalex.org/W1982812811","https://openalex.org/W2161425454","https://openalex.org/W1947458937","https://openalex.org/W4362712030"],"abstract_inverted_index":{"A":[0],"state":[1,110,126,140,152,163,171],"machine":[2,141,153,164,172],"that":[3,64,88,162],"formalizes":[4],"a":[5,73,79,94,102],"distributed":[6],"mutual":[7],"exclusion":[8],"protocol":[9,13,28,145],"called":[10],"the":[11,27,39,44,54,62,70,86,99,125,139,143,151],"Suzuki-Kasami":[12,144],"is":[14,29,112],"graphically":[15,108],"animated.":[16],"The":[17,104],"network":[18,40,71,100],"with":[19],"which":[20,160],"messages":[21,37,52],"are":[22,41,46,50],"exchanged":[23],"among":[24],"nodes":[25],"in":[26,38,53],"displayed":[30,42],"as":[31],"follows:":[32],"some":[33,136],"limited":[34],"number":[35],"of":[36,107,124,138,150],"and":[43,81,154],"others":[45],"depressed":[47],"when":[48],"there":[49],"many":[51],"network.":[55],"We":[56,133],"prepare":[57],"one":[58,82],"place":[59,83],"dedicated":[60,84],"to":[61,85,113,119],"message":[63,87],"has":[65,89],"been":[66,90],"just":[67,76,91],"put":[68],"into":[69],"by":[72,78,93,101,128,146,157],"node":[74,95],"(or":[75],"sent":[77],"node)":[80],"received":[92],"(just":[96],"deleted":[97],"from":[98],"node).":[103],"main":[105],"purpose":[106],"animating":[109],"machines":[111,127],"make":[114,168],"it":[115],"possible":[116],"for":[117],"humans":[118,169],"perceive":[120,170],"characteristics":[121],"or":[122],"properties":[123,137],"observing":[129,147],"their":[130],"graphical":[131,148,165],"animations.":[132],"can":[134],"guess":[135],"formalizing":[142],"animations":[149,166],"confirm":[155],"them":[156],"model":[158],"checking,":[159],"demonstrates":[161],"could":[167],"properties.":[173]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}