{"id":"https://openalex.org/W2979761551","doi":"https://doi.org/10.1145/3360570","title":"A fault-tolerant programming model for distributed interactive applications","display_name":"A fault-tolerant programming model for distributed interactive applications","publication_year":2019,"publication_date":"2019-10-10","ids":{"openalex":"https://openalex.org/W2979761551","doi":"https://doi.org/10.1145/3360570","mag":"2979761551"},"language":"en","primary_location":{"id":"doi:10.1145/3360570","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3360570","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3360570","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3360570","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035682481","display_name":"Ragnar Mogk","orcid":null},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ragnar Mogk","raw_affiliation_strings":["TU Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030057029","display_name":"Joscha Drechsler","orcid":null},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Joscha Drechsler","raw_affiliation_strings":["TU Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090555377","display_name":"Guido Salvaneschi","orcid":"https://orcid.org/0000-0002-9324-8894"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Guido Salvaneschi","raw_affiliation_strings":["TU Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078067853","display_name":"Mira Mezini","orcid":"https://orcid.org/0000-0001-6563-7537"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mira Mezini","raw_affiliation_strings":["TU Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5035682481"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":null,"apc_paid":null,"fwci":1.1142,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.8072298,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"3","issue":"OOPSLA","first_page":"1","last_page":"29"},"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.9998999834060669,"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.9998999834060669,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9993000030517578,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.998199999332428,"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.8511766195297241},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.6758708953857422},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6413525938987732},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.5357389450073242},{"id":"https://openalex.org/keywords/eventual-consistency","display_name":"Eventual consistency","score":0.5250556468963623},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.496067613363266},{"id":"https://openalex.org/keywords/execution-model","display_name":"Execution model","score":0.4273775815963745},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4154033958911896},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4128879904747009},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41020750999450684},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32222557067871094},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.25585827231407166}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8511766195297241},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.6758708953857422},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6413525938987732},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.5357389450073242},{"id":"https://openalex.org/C34422012","wikidata":"https://www.wikidata.org/wiki/Q6125872","display_name":"Eventual consistency","level":4,"score":0.5250556468963623},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.496067613363266},{"id":"https://openalex.org/C2776834041","wikidata":"https://www.wikidata.org/wiki/Q25346349","display_name":"Execution model","level":2,"score":0.4273775815963745},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4154033958911896},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4128879904747009},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41020750999450684},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32222557067871094},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.25585827231407166},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1145/3360570","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3360570","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3360570","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:121655","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/121655/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Artikel"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:124203","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/124203/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Artikel"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:146511","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/146511/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Artikel"},{"id":"pmh:oai:tuprints.ulb.tu-darmstadt.de:14554","is_oa":true,"landing_page_url":"http://tuprints.ulb.tu-darmstadt.de/view/person/Mogk=3ARagnar=3A=3A.html>","pdf_url":null,"source":{"id":"https://openalex.org/S4306401590","display_name":"Technischen Universit\u00e4t Darmstadt","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.25534/tuprints-00014554","is_oa":true,"landing_page_url":"https://doi.org/10.25534/tuprints-00014554","pdf_url":null,"source":{"id":"https://openalex.org/S7407053004","display_name":"TUdigit","issn_l":null,"issn":[],"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":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.1145/3360570","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3360570","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3360570","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.46000000834465027,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G141068309","display_name":"ReDOOP: Reaktives Design f\u00fcr objektorientierte Programmierung","funder_award_id":"322196540","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G1654029728","display_name":null,"funder_award_id":"415626024, SFB 1053","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5039202075","display_name":null,"funder_award_id":"SFB 105","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5308459192","display_name":"Programmierunterst\u00fctzung f\u00fcr fehlertolerante verteilte LiveAnwendungen.","funder_award_id":"415626024","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5516505957","display_name":"Entwicklung verteilter Systeme mit Multitier Reactive Programming","funder_award_id":"383964710","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G8577637170","display_name":null,"funder_award_id":"SFB 1053","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2979761551.pdf","grobid_xml":"https://content.openalex.org/works/W2979761551.grobid-xml"},"referenced_works_count":69,"referenced_works":["https://openalex.org/W95578667","https://openalex.org/W1516319412","https://openalex.org/W1561431519","https://openalex.org/W1734019305","https://openalex.org/W1771264736","https://openalex.org/W1967838552","https://openalex.org/W1970603441","https://openalex.org/W1978924650","https://openalex.org/W1982590499","https://openalex.org/W1986923831","https://openalex.org/W1996025300","https://openalex.org/W2008307801","https://openalex.org/W2020543299","https://openalex.org/W2045396951","https://openalex.org/W2048984644","https://openalex.org/W2050942832","https://openalex.org/W2054584570","https://openalex.org/W2057507968","https://openalex.org/W2072794470","https://openalex.org/W2079512738","https://openalex.org/W2081938726","https://openalex.org/W2085335712","https://openalex.org/W2095778029","https://openalex.org/W2098935637","https://openalex.org/W2104925086","https://openalex.org/W2106355650","https://openalex.org/W2108110714","https://openalex.org/W2113112607","https://openalex.org/W2121810937","https://openalex.org/W2128932399","https://openalex.org/W2129603526","https://openalex.org/W2133108345","https://openalex.org/W2134112335","https://openalex.org/W2137865376","https://openalex.org/W2139533136","https://openalex.org/W2151716725","https://openalex.org/W2167845698","https://openalex.org/W2168485266","https://openalex.org/W2173213060","https://openalex.org/W2285233517","https://openalex.org/W2295616151","https://openalex.org/W2301712983","https://openalex.org/W2539212037","https://openalex.org/W2572482456","https://openalex.org/W2584262307","https://openalex.org/W2585681549","https://openalex.org/W2594993942","https://openalex.org/W2596262883","https://openalex.org/W2746552017","https://openalex.org/W2766289313","https://openalex.org/W2768475350","https://openalex.org/W2795128967","https://openalex.org/W2796642286","https://openalex.org/W2797112223","https://openalex.org/W2801707263","https://openalex.org/W2884253372","https://openalex.org/W2898117650","https://openalex.org/W2898166391","https://openalex.org/W2898179350","https://openalex.org/W2898359825","https://openalex.org/W2900035213","https://openalex.org/W2900180041","https://openalex.org/W2907193335","https://openalex.org/W2962936862","https://openalex.org/W2963419690","https://openalex.org/W3101727937","https://openalex.org/W4211008702","https://openalex.org/W4241999184","https://openalex.org/W4246450549"],"related_works":["https://openalex.org/W1518535918","https://openalex.org/W1601811574","https://openalex.org/W2015607366","https://openalex.org/W1587224678","https://openalex.org/W1498982577","https://openalex.org/W1517543977","https://openalex.org/W2961430130","https://openalex.org/W4241166592","https://openalex.org/W2466550382","https://openalex.org/W1666418873"],"abstract_inverted_index":{"Ubiquitous":[0],"connectivity":[1],"of":[2,13,65,106,129,133,145,151,156],"web,":[3],"mobile,":[4],"and":[5,28,82,109,137,159],"IoT":[6],"computing":[7],"platforms":[8],"has":[9],"fostered":[10],"a":[11,50,72,124,164],"variety":[12],"distributed":[14,39,66],"applications":[15,20,41],"with":[16,25,42,102,112,139],"decentralized":[17,45],"state.":[18],"These":[19],"execute":[21],"across":[22,83],"multiple":[23],"devices":[24],"varying":[26],"reliability":[27],"connectivity.":[29],"Unfortunately,":[30],"there":[31],"is":[32],"no":[33],"declarative":[34],"fault-tolerant":[35],"programming":[36,59,92],"model":[37,93],"for":[38],"interactive":[40,67,166],"an":[43,154,160],"inherently":[44],"system":[46],"model.":[47],"We":[48,147],"present":[49],"novel":[51],"approach":[52],"to":[53,62,94],"automating":[54],"fault":[55],"tolerance":[56],"using":[57,163],"high-level":[58],"abstractions":[60],"tailored":[61],"the":[63,89,143],"needs":[64],"applications.":[68],"Specifically,":[69],"we":[70],"propose":[71],"calculus":[73,87],"that":[74],"enables":[75],"formal":[76],"reasoning":[77],"about":[78],"applications'":[79],"dataflow":[80,108],"within":[81],"individual":[84],"devices.":[85],"Our":[86],"reinterprets":[88],"functional":[90],"reactive":[91],"seamlessly":[95],"integrate":[96],"its":[97],"automated":[98,103,114],"state":[99],"change":[100,135],"propagation":[101,136],"crash":[104],"recovery":[105],"device-local":[107],"disconnection-tolerant":[110],"distribution":[111,140],"guaranteed":[113],"eventual":[115],"consistency":[116],"semantics":[117],"based":[118],"on":[119],"conflict-free":[120],"replicated":[121],"datatypes.":[122],"As":[123],"result,":[125],"programmers":[126],"are":[127],"relieved":[128],"handling":[130],"intricate":[131],"details":[132],"distributing":[134],"coping":[138],"failures":[141],"in":[142],"presence":[144],"interactivity.":[146],"also":[148],"provides":[149],"proofs":[150],"our":[152,157],"claims,":[153],"implementation":[155],"calculus,":[158],"empirical":[161],"evaluation":[162],"common":[165],"application.":[167]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}