{"id":"https://openalex.org/W4408108944","doi":"https://doi.org/10.22152/programming-journal.org/2025/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/W4408108944","doi":"https://doi.org/10.22152/programming-journal.org/2025/10/11"},"language":"en","primary_location":{"id":"doi:10.22152/programming-journal.org/2025/10/11","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2025/10/11","pdf_url":"https://arxiv.org/pdf/2502.20534v1.pdf","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":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://arxiv.org/pdf/2502.20534v1.pdf","any_repository_has_fulltext":false},"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":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01576077,"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.5893238186836243},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5291818976402283},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.33924099802970886},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3357963263988495}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5893238186836243},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5291818976402283},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33924099802970886},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3357963263988495}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.22152/programming-journal.org/2025/10/11","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2025/10/11","pdf_url":"https://arxiv.org/pdf/2502.20534v1.pdf","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"}],"best_oa_location":{"id":"doi:10.22152/programming-journal.org/2025/10/11","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2025/10/11","pdf_url":"https://arxiv.org/pdf/2502.20534v1.pdf","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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4408108944.pdf","grobid_xml":"https://content.openalex.org/works/W4408108944.grobid-xml"},"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,41,73,90],"require":[3],"receiving":[4],"data":[5,21,108],"from":[6,52,109,180,185,342],"multiple":[7,152],"information":[8,50,102,153,181,344],"sources,":[9,345],"which":[10],"act":[11],"as":[12,35,143,160,229,231,237],"distributed":[13,157,343],"network":[14],"devices":[15,31],"that":[16,69,130,155,249,268,277,315],"asynchronously":[17],"send":[18],"the":[19,36,53,94,132,192,219,264,269,283,316],"latest":[20],"at":[22,74,292],"their":[23],"own":[24],"pace":[25],"to":[26,64,168,313],"generalize":[27],"various":[28],"kinds":[29],"of":[30,38,78,96,209,215],"and":[32,47,57,85,100,107,158,183,212,260,302],"connections,":[33],"known":[34,142],"Internet":[37],"Things":[39],"(IoT).These":[40],"often":[42],"perform":[43],"computations":[44,87,211,248],"both":[45],"reactively":[46],"retroactively":[48],"on":[49,243,338],"received":[51],"sources":[54,103,111,154,182,349],"for":[55,80,200,335],"monitoring":[56],"analytical":[58],"purposes,":[59],"respectively.Inquiry":[60],"It":[61],"is":[62,121,206,221,280,297,320],"challenging":[63],"design":[65],"a":[66,75,127,197,207,238,256,310,332],"programming":[67,128],"language":[68,129,136],"can":[70,164,289],"describe":[71],"such":[72],"high":[76],"level":[77],"abstraction":[79,241],"two":[81],"reasons:":[82],"(1)":[83],"reactive":[84,138,247],"retroactive":[86],"in":[88,251,282,285,322],"these":[89,110,119,348],"are":[91,156,235,253,261,272],"performed":[92],"alongside":[93],"execution":[95],"other":[97,170,286],"application":[98,325],"logic;":[99],"(2)":[101],"may":[104,112],"be":[105,116,165,290],"distributed,":[106],"arrive":[113],"late":[114],"or":[115,352],"lost":[117],"entirely.Addressing":[118],"difficulties":[120],"our":[122,135,323],"fundamental":[123],"problem.Approach":[124],"We":[125],"propose":[126],"supports":[131,151],"following":[133],"features.First,":[134],"incorporates":[137],"time-varying":[139,171],"values":[140,178],"(also":[141],"signals)":[144],"embedded":[145],"within":[146],"an":[147],"imperative":[148,213],"language.Second,":[149],"it":[150,173,228],"represented":[159],"signals,":[161],"meaning":[162],"they":[163],"declaratively":[166],"composed":[167],"form":[169],"values.Finally,":[172],"allows":[174],"computation":[175,270,339],"over":[176],"past":[177],"collected":[179],"recovery":[184,318],"inconsistency":[186],"caused":[187],"by":[188,299],"packet":[189,353],"loss.To":[190],"address":[191],"aforementioned":[193],"difficulties,":[194],"we":[195,225,275],"develop":[196],"core":[198],"calculus":[199,205,220,259],"this":[201,216],"proposed":[202],"language.Knowledge":[203],"This":[204,295],"hybrid":[208,217],"reactive/retroactive":[210],"ones.Because":[214],"nature,":[218],"inherently":[222],"complex;":[223],"however,":[224],"have":[226],"simplified":[227],"much":[230],"possible.First,":[232],"its":[233],"semantics":[234],"modeled":[236,254],"simple,":[239],"single-threaded":[240],"based":[242],"typeless":[244],"object":[245,265],"calculus.Meanwhile,":[246],"execute":[250],"parallel":[252],"using":[255],"simple":[257],"process":[258,319],"integrated":[262],"with":[263],"calculus,":[266],"ensuring":[267],"results":[271,340],"always":[273],"serialized.Specifically,":[274],"show":[276],"time":[278,306,329],"consistency":[279,288,330],"guaranteed":[281],"calculus;":[284],"words,":[287],"recovered":[291],"any":[293],"checkpoint.Grounding":[294],"work":[296],"supported":[298],"formally":[300],"stating":[301],"proving":[303],"theorems":[304],"regarding":[305],"consistency.We":[307],"also":[308],"conducted":[309],"microbenchmarking":[311],"experiment":[312],"demonstrate":[314],"implemented":[317],"feasible":[321],"assumed":[324],"scenarios.Importance":[326],"The":[327],"ensured":[328],"provides":[331],"rigorous":[333],"foundation":[334],"performing":[336],"analytics":[337],"obtained":[341],"even":[346],"when":[347],"experience":[350],"delays":[351],"loss.":[354]},"counts_by_year":[],"updated_date":"2026-03-14T06:41:57.775601","created_date":"2025-10-10T00:00:00"}