{"id":"https://openalex.org/W2527800953","doi":"https://doi.org/10.23638/lmcs-13(1:13)2017","title":"Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields","display_name":"Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields","publication_year":2017,"publication_date":"2017-03-22","ids":{"openalex":"https://openalex.org/W2527800953","doi":"https://doi.org/10.23638/lmcs-13(1:13)2017","mag":"2527800953"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-13(1:13)2017","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-13(1:13)2017","pdf_url":"https://lmcs.episciences.org/3212/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/3212/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054527006","display_name":"Alberto Lluch Lafuente","orcid":"https://orcid.org/0000-0001-7405-0818"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]},{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]},{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK","IT"],"is_corresponding":false,"raw_author_name":"Alberto Lluch Lafuente","raw_affiliation_strings":["DTU Compute, Technical University of Denmark, Denmark","Computer Science Department, University of Pisa, Italy","University of Florence, Italy"],"affiliations":[{"raw_affiliation_string":"DTU Compute, Technical University of Denmark, Denmark","institution_ids":["https://openalex.org/I96673099"]},{"raw_affiliation_string":"Computer Science Department, University of Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]},{"raw_affiliation_string":"University of Florence, Italy","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069085203","display_name":"Michele Loreti","orcid":"https://orcid.org/0000-0003-3061-863X"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]},{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]},{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK","IT"],"is_corresponding":true,"raw_author_name":"Michele Loreti","raw_affiliation_strings":["DTU Compute, Technical University of Denmark, Denmark","Computer Science Department, University of Pisa, Italy","University of Florence, Italy"],"affiliations":[{"raw_affiliation_string":"DTU Compute, Technical University of Denmark, Denmark","institution_ids":["https://openalex.org/I96673099"]},{"raw_affiliation_string":"Computer Science Department, University of Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]},{"raw_affiliation_string":"University of Florence, Italy","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061468940","display_name":"Ugo Montanari","orcid":"https://orcid.org/0000-0002-6204-8670"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]},{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]},{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK","IT"],"is_corresponding":false,"raw_author_name":"Ugo Montanari","raw_affiliation_strings":["University of Florence, Italy","DTU Compute, Technical University of Denmark, Denmark","Computer Science Department, University of Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"University of Florence, Italy","institution_ids":["https://openalex.org/I45084792"]},{"raw_affiliation_string":"DTU Compute, Technical University of Denmark, Denmark","institution_ids":["https://openalex.org/I96673099"]},{"raw_affiliation_string":"Computer Science Department, University of Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5069085203"],"corresponding_institution_ids":["https://openalex.org/I108290504","https://openalex.org/I45084792","https://openalex.org/I96673099"],"apc_list":null,"apc_paid":null,"fwci":5.5642,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":{"value":0.96018156,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"Volume 13, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9922999739646912,"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/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9864000082015991,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8082699179649353},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.7723854780197144},{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.48555395007133484},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39528030157089233},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.33765706419944763},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17904570698738098},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.0770062506198883}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8082699179649353},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.7723854780197144},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.48555395007133484},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39528030157089233},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33765706419944763},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17904570698738098},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0770062506198883},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.23638/lmcs-13(1:13)2017","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-13(1:13)2017","pdf_url":"https://lmcs.episciences.org/3212/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1610.00253","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1610.00253","pdf_url":"https://arxiv.org/pdf/1610.00253","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:pubblicazioni.unicam.it:11581/405858","is_oa":true,"landing_page_url":"http://hdl.handle.net/11581/405858","pdf_url":"https://lmcs.episciences.org/3212","source":{"id":"https://openalex.org/S4306400819","display_name":"Unicam Scientific Publications (University of Camerino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I112859197","host_organization_name":"Universit\u00e0 di Camerino","host_organization_lineage":["https://openalex.org/I112859197"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"mag:2527800953","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/1610.00253","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:doaj.org/article:8c77370e08eb4dd3b76cb998ebc62980","is_oa":true,"landing_page_url":"https://doaj.org/article/8c77370e08eb4dd3b76cb998ebc62980","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 13, Issue 1 (2017)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.23638/lmcs-13(1:13)2017","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-13(1:13)2017","pdf_url":"https://lmcs.episciences.org/3212/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.7400000095367432,"id":"https://metadata.un.org/sdg/13","display_name":"Climate action"}],"awards":[{"id":"https://openalex.org/G2739114973","display_name":null,"funder_award_id":"600708","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3656354783","display_name":null,"funder_award_id":"257414","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2527800953.pdf","grobid_xml":"https://content.openalex.org/works/W2527800953.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W13976994","https://openalex.org/W45829939","https://openalex.org/W177169120","https://openalex.org/W214018991","https://openalex.org/W992148507","https://openalex.org/W1640805101","https://openalex.org/W1801319046","https://openalex.org/W1881455044","https://openalex.org/W2000030706","https://openalex.org/W2010318438","https://openalex.org/W2013173096","https://openalex.org/W2024358995","https://openalex.org/W2029041711","https://openalex.org/W2033226581","https://openalex.org/W2040185695","https://openalex.org/W2045271686","https://openalex.org/W2045371716","https://openalex.org/W2076260575","https://openalex.org/W2099893012","https://openalex.org/W2138830906","https://openalex.org/W2154361563","https://openalex.org/W2156525231","https://openalex.org/W2170389705","https://openalex.org/W2230770203","https://openalex.org/W2254102208","https://openalex.org/W2462445791","https://openalex.org/W4394655480"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2116677773","https://openalex.org/W2155261584","https://openalex.org/W2584231425","https://openalex.org/W2150611273","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W4207086172"],"abstract_inverted_index":{"Coordination":[0],"is":[1,62,138],"essential":[2],"for":[3,24,52],"dynamic":[4],"distributed":[5,131,153],"systems":[6],"whose":[7],"components":[8,26],"exhibit":[9],"interactive":[10],"and":[11,29,77,150,169],"autonomous":[12],"behaviors.":[13],"Spatially":[14],"distributed,":[15],"locally":[16,122],"interacting,":[17],"propagating":[18],"computational":[19],"fields":[20,37],"are":[21,38,158],"particularly":[22,50],"appealing":[23],"allowing":[25],"to":[27,107,179,217],"join":[28],"leave":[30],"with":[31,72,199],"little":[32],"or":[33,121],"no":[34],"overhead.":[35],"Computational":[36],"a":[39,45,65,70,88,130,200,205,211,222],"key":[40,156],"ingredient":[41],"of":[42,55,133,163,172,193,221],"aggregate":[43],"programming,":[44],"promising":[46],"software":[47],"engineering":[48],"methodology":[49],"relevant":[51],"the":[53,98,109,185,219],"Internet":[54],"Things.":[56],"In":[57],"our":[58,134,197],"approach,":[59],"space":[60],"topology":[61],"represented":[63],"by":[64],"fixed":[66],"graph-shaped":[67],"field,":[68],"namely":[69],"network":[71],"attributes":[73],"on":[74,204],"both":[75],"nodes":[76,103,178],"arcs,":[78],"where":[79,91],"arcs":[80],"represent":[81,96],"interaction":[82],"capabilities":[83],"between":[84],"nodes.":[85,173],"We":[86,128,195],"propose":[87],"SMuC":[89,142],"calculus":[90],"mu-calculus-":[92],"like":[93],"modal":[94],"formulas":[95],"how":[97],"values":[99],"stored":[100],"in":[101,210],"neighbor":[102],"should":[104],"be":[105,115],"combined":[106],"update":[108],"present":[110,129],"node.":[111],"Fixpoint":[112],"operations":[113],"can":[114],"understood":[116],"globally":[117],"as":[118,123],"recursive":[119],"definitions,":[120],"asynchronous":[124],"converging":[125],"propagation":[126],"processes.":[127],"implementation":[132],"calculus.":[135],"The":[136,174],"translation":[137],"first":[139,175],"done":[140],"mapping":[141],"programs":[143,149],"into":[144,152],"normal":[145],"form,":[146],"purely":[147],"iterative":[148],"then":[151],"programs.":[154],"Some":[155],"results":[157],"presented":[159],"that":[160,214],"show":[161],"convergence":[162],"fixpoint":[164],"computations":[165],"under":[166,170],"fair":[167],"asynchrony":[168],"reinitialization":[171],"result":[176],"allows":[177],"proceed":[180],"at":[181],"different":[182],"speeds,":[183],"while":[184],"second":[186],"one":[187],"provides":[188],"robustness":[189],"against":[190],"certain":[191],"kinds":[192],"failure.":[194],"illustrate":[196],"approach":[198],"case":[201],"study":[202],"based":[203],"disaster":[206],"recovery":[207,223],"scenario,":[208],"implemented":[209],"prototype":[212],"simulator":[213],"we":[215],"use":[216],"evaluate":[218],"performance":[220],"strategy.":[224]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":2}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}