{"id":"https://openalex.org/W4408014640","doi":"https://doi.org/10.22152/programming-journal.org/2026/10/11","title":"Consistent Distributed Reactive Programming with Retroactive Computation","display_name":"Consistent Distributed Reactive Programming with Retroactive Computation","publication_year":2025,"publication_date":"2025-02-15","ids":{"openalex":"https://openalex.org/W4408014640","doi":"https://doi.org/10.22152/programming-journal.org/2026/10/11"},"language":"en","primary_location":{"id":"doi:10.22152/programming-journal.org/2026/10/11","is_oa":false,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2026/10/11","pdf_url":null,"source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2502.20534","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082030898","display_name":"Tetsuo Kamina","orcid":"https://orcid.org/0000-0003-0288-1908"},"institutions":[{"id":"https://openalex.org/I188815454","display_name":"Oita University","ror":"https://ror.org/01nyv7k26","country_code":"JP","type":"education","lineage":["https://openalex.org/I188815454"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Tetsuo Kamina","raw_affiliation_strings":["Oita University, Japan"],"affiliations":[{"raw_affiliation_string":"Oita University, Japan","institution_ids":["https://openalex.org/I188815454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070909210","display_name":"Tomoyuki Aotani","orcid":"https://orcid.org/0000-0003-4538-0230"},"institutions":[{"id":"https://openalex.org/I75522678","display_name":"Sanyo-Onoda City University","ror":"https://ror.org/01xfcjr43","country_code":"JP","type":"education","lineage":["https://openalex.org/I75522678"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tomoyuki Aotani","raw_affiliation_strings":["Sanyo-Onoda City University, Japan"],"affiliations":[{"raw_affiliation_string":"Sanyo-Onoda City University, Japan","institution_ids":["https://openalex.org/I75522678"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079977725","display_name":"Hidehiko Masuhara","orcid":"https://orcid.org/0000-0002-8837-5303"},"institutions":[{"id":"https://openalex.org/I4400009020","display_name":"Institute of Science Tokyo","ror":"https://ror.org/05dqf9946","country_code":null,"type":"education","lineage":["https://openalex.org/I4400009020"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hidehiko Masuhara","raw_affiliation_strings":["Institute of Science Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"Institute of Science Tokyo, Japan","institution_ids":["https://openalex.org/I4400009020"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5082030898"],"corresponding_institution_ids":["https://openalex.org/I188815454"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01543948,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.807200014591217,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.807200014591217,"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"}},{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.8064000010490417,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.7806000113487244,"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/computer-science","display_name":"Computer science","score":0.5228588581085205},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.49852705001831055},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31421083211898804}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5228588581085205},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.49852705001831055},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31421083211898804}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.22152/programming-journal.org/2026/10/11","is_oa":false,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2026/10/11","pdf_url":null,"source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2502.20534","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2502.20534","pdf_url":"https://arxiv.org/pdf/2502.20534","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2502.20534","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2502.20534","pdf_url":"https://arxiv.org/pdf/2502.20534","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Context:":[0],"Many":[1],"systems":[2,42,75,92],"require":[3],"receiving":[4],"data":[5,21,110],"from":[6,53,111,187,192,358],"multiple":[7,158],"information":[8,51,104,159,188,360],"sources,":[9,361],"which":[10],"act":[11],"as":[12,35,148,166,239,241,248],"distributed":[13,163,359],"network":[14],"devices":[15,31],"that":[16,71,134,161,261,280,290,330],"asynchronously":[17],"send":[18],"the":[19,36,54,96,136,200,229,276,281,296,331],"latest":[20],"at":[22,76,305],"their":[23],"own":[24],"pace":[25],"to":[26,66,174,328],"generalize":[27],"various":[28],"kinds":[29],"of":[30,38,80,98,218,225],"and":[32,48,58,87,102,109,164,190,221,272,316],"connections,":[33],"known":[34,147],"Internet":[37],"Things":[39],"(IoT).":[40],"These":[41],"often":[43],"perform":[44],"computations":[45,89,220,260],"both":[46],"**reactively**":[47],"**retroactively**":[49],"on":[50,254,354],"received":[52],"sources":[55,105,113,160,189,365],"for":[56,82,208,351],"monitoring":[57],"analytical":[59],"purposes,":[60],"respectively.":[61],"Inquiry:":[62],"It":[63],"is":[64,124,215,231,293,311,335],"challenging":[65],"design":[67],"a":[68,77,131,205,216,249,268,325,348],"programming":[69,132],"language":[70,133,141],"can":[72,170,302],"describe":[73],"such":[74],"high":[78],"level":[79],"abstraction":[81,252],"two":[83],"reasons:":[84],"(1)":[85],"reactive":[86,143,259],"retroactive":[88],"in":[90,263,295,298,337],"these":[91,112,122,364],"are":[93,162,246,265,273,284],"performed":[94],"alongside":[95],"execution":[97],"other":[99,176,299],"application":[100,340],"logic;":[101],"(2)":[103],"may":[106,114],"be":[107,118,171,303],"distributed,":[108],"arrive":[115],"late":[116],"or":[117,368],"lost":[119],"entirely.":[120],"Addressing":[121],"difficulties":[123],"our":[125,140,338],"fundamental":[126],"problem.":[127],"Approach:":[128],"We":[129,322],"propose":[130],"supports":[135,157],"following":[137],"features.":[138],"First,":[139,243],"incorporates":[142],"time-varying":[144,177],"values":[145,185],"(also":[146],"signals)":[149],"embedded":[150],"within":[151],"an":[152],"imperative":[153,222],"language.":[154,211],"Second,":[155],"it":[156,180,238],"represented":[165],"signals,":[167],"meaning":[168],"they":[169],"declaratively":[172],"composed":[173],"form":[175],"values.":[178],"Finally,":[179],"allows":[181],"computation":[182,282,355],"over":[183],"past":[184],"collected":[186],"recovery":[191,333],"inconsistency":[193],"caused":[194],"by":[195,313],"packet":[196,369],"loss.":[197,370],"To":[198],"address":[199],"aforementioned":[201],"difficulties,":[202],"we":[203,235,288],"develop":[204],"core":[206],"calculus":[207,214,230,271],"this":[209,226],"proposed":[210],"Knowledge:":[212],"This":[213,309],"hybrid":[217,227],"reactive/retroactive":[219],"ones.":[223],"Because":[224],"nature,":[228],"inherently":[232],"complex;":[233],"however,":[234],"have":[236],"simplified":[237],"much":[240],"possible.":[242],"its":[244],"semantics":[245],"modeled":[247,266],"simple,":[250],"single-threaded":[251],"based":[253],"typeless":[255],"object":[256,277],"calculus.":[257],"Meanwhile,":[258],"execute":[262],"parallel":[264],"using":[267],"simple":[269],"process":[270,334],"integrated":[274],"with":[275],"calculus,":[278],"ensuring":[279],"results":[283,356],"always":[285],"serialized.":[286],"Specifically,":[287],"show":[289],"time":[291,320,345],"consistency":[292,301,346],"guaranteed":[294],"calculus;":[297],"words,":[300],"recovered":[304],"any":[306],"checkpoint.":[307],"Grounding:":[308],"work":[310],"supported":[312],"formally":[314],"stating":[315],"proving":[317],"theorems":[318],"regarding":[319],"consistency.":[321],"also":[323],"conducted":[324],"microbenchmarking":[326],"experiment":[327],"demonstrate":[329],"implemented":[332],"feasible":[336],"assumed":[339],"scenarios.":[341],"Importance:":[342],"The":[343],"ensured":[344],"provides":[347],"rigorous":[349],"foundation":[350],"performing":[352],"analytics":[353],"obtained":[357],"even":[362],"when":[363],"experience":[366],"delays":[367]},"counts_by_year":[],"updated_date":"2025-12-28T23:10:05.387466","created_date":"2025-10-10T00:00:00"}