{"id":"https://openalex.org/W3209129304","doi":"https://doi.org/10.4230/lipics.disc.2021.20","title":"The Canonical Amoebot Model: Algorithms and Concurrency Control","display_name":"The Canonical Amoebot Model: Algorithms and Concurrency Control","publication_year":2021,"publication_date":"2021-05-05","ids":{"openalex":"https://openalex.org/W3209129304","doi":"https://doi.org/10.4230/lipics.disc.2021.20","mag":"3209129304"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2105.02420","pdf_url":"http://arxiv.org/pdf/2105.02420","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"posted-content","indexed_in":["arxiv"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://arxiv.org/pdf/2105.02420","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070425572","display_name":"Joshua J. Daymude","orcid":"https://orcid.org/0000-0001-7294-5626"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Joshua J. Daymude","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031875286","display_name":"Andr\u00e9a W. Richa","orcid":"https://orcid.org/0000-0003-3592-3756"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andr\u00e9a W. Richa","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5063355098","display_name":"Christian Scheideler","orcid":"https://orcid.org/0000-0002-5278-528X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christian Scheideler","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.910878,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":75,"max":78},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9719,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9719,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9689,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9616,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8081311},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.80053854},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.71442163},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.52658695},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.50098205},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.48365796},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.47757438},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46234053},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43602067},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4144498},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32783136},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24476561},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19369593},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2105.02420","pdf_url":"http://arxiv.org/pdf/2105.02420","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2105.02420","pdf_url":"http://arxiv.org/pdf/2105.02420","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4256277001","https://openalex.org/W3159097109","https://openalex.org/W2899486387","https://openalex.org/W2374807419","https://openalex.org/W2369817525","https://openalex.org/W214829545","https://openalex.org/W2083822024","https://openalex.org/W2000770510","https://openalex.org/W1521353230","https://openalex.org/W1480853724"],"abstract_inverted_index":{"The":[0,132],"amoebot":[1,61,69,92,103,119,134,138,199,239],"model":[2,62,78,93,135,240],"abstracts":[3],"active":[4,121],"programmable":[5,127,257],"matter":[6,128],"as":[7,140],"a":[8,33,43,49,123,168,190,222,230],"collection":[9],"of":[10,23,36,45,52,57,82,97,147,154,170],"simple":[11,231],"computational":[12],"elements":[13],"called":[14],"amoebots":[15],"that":[16,74,194,201,213],"interact":[17],"locally":[18],"to":[19,111,161,197,245],"collectively":[20],"achieve":[21],"tasks":[22],"coordination":[24],"and":[25,80,107,207,241],"movement.":[26],"Since":[27],"its":[28,40],"introduction":[29],"at":[30,116,122],"SPAA":[31],"2014,":[32],"growing":[34],"body":[35],"literature":[37,100],"has":[38],"adapted":[39],"assumptions":[41],"for":[42,173,233,252],"variety":[44],"problems;":[46],"however,":[47],"without":[48],"standardized":[50],"hierarchy":[51],"assumptions,":[53],"precise":[54],"systematic":[55],"comparison":[56],"results":[58],"under":[59,176],"the":[60,67,90,98,112,204,218,237],"is":[63,94,120],"difficult.":[64],"We":[65,165,187],"propose":[66],"canonical":[68,91,133,238],"model,":[70],"an":[71],"updated":[72],"formalization":[73],"distinguishes":[75],"between":[76],"core":[77],"features":[79],"families":[81],"assumption":[83],"variants.":[84],"A":[85],"key":[86],"improvement":[87],"addressed":[88],"by":[89],"concurrency.":[95],"Much":[96],"existing":[99],"implicitly":[101],"assumes":[102],"actions":[104],"are":[105,130],"isolated":[106],"reliable,":[108],"reducing":[109],"analysis":[110],"sequential":[113,205],"setting":[114,206],"where":[115],"most":[117],"one":[118],"time.":[124],"However,":[125],"real":[126],"systems":[129],"concurrent.":[131],"formalizes":[136],"all":[137],"communication":[139],"message":[141],"passing,":[142],"leveraging":[143],"adversarial":[144],"activation":[145],"models":[146],"concurrent":[148,162,178,219,246],"executions.":[149],"Under":[150],"this":[151],"granular":[152],"treatment":[153],"time,":[155],"we":[156,225],"take":[157],"two":[158],"complementary":[159,243],"approaches":[160,228,244],"algorithm":[163,174,185,232,247],"design.":[164,186],"first":[166],"establish":[167],"set":[169],"sufficient":[171],"conditions":[172],"correctness":[175],"any":[177],"execution,":[179],"embedding":[180],"concurrency":[181,191],"control":[182,192],"directly":[183],"in":[184,203,217],"then":[188],"present":[189],"framework":[193],"uses":[195],"locks":[196],"convert":[198],"algorithms":[200,212],"terminate":[202],"satisfy":[208],"certain":[209],"conventions":[210],"into":[211],"exhibit":[214],"equivalent":[215],"behavior":[216],"setting.":[220],"As":[221],"case":[223],"study,":[224],"demonstrate":[226],"both":[227],"using":[229],"hexagon":[234],"formation.":[235],"Together,":[236],"these":[242],"design":[248],"open":[249],"new":[250],"directions":[251],"distributed":[253],"computing":[254],"research":[255],"on":[256],"matter.":[258]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3209129304","counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":2}],"updated_date":"2025-04-23T22:57:04.889354","created_date":"2021-11-08"}