{"id":"https://openalex.org/W1972404788","doi":"https://doi.org/10.1145/1088361.1088367","title":"Verifying fault-tolerant Erlang programs","display_name":"Verifying fault-tolerant Erlang programs","publication_year":2005,"publication_date":"2005-09-26","ids":{"openalex":"https://openalex.org/W1972404788","doi":"https://doi.org/10.1145/1088361.1088367","mag":"1972404788"},"language":"en","primary_location":{"id":"doi:10.1145/1088361.1088367","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1088361.1088367","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2005 ACM SIGPLAN workshop on Erlang","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079166867","display_name":"Clara Benac Earle","orcid":"https://orcid.org/0000-0002-8629-5289"},"institutions":[{"id":"https://openalex.org/I50357001","display_name":"Universidad Carlos III de Madrid","ror":"https://ror.org/03ths8210","country_code":"ES","type":"education","lineage":["https://openalex.org/I50357001"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Clara Benac Earle","raw_affiliation_strings":["Universidad Carlos III de Madrid"],"affiliations":[{"raw_affiliation_string":"Universidad Carlos III de Madrid","institution_ids":["https://openalex.org/I50357001"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048436076","display_name":"Lars\u2010\u00c5ke Fredlund","orcid":"https://orcid.org/0000-0002-8296-4609"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Lars-\u00c5ke Fredlund","raw_affiliation_strings":["Universidad Politecnica de Madrid"],"affiliations":[{"raw_affiliation_string":"Universidad Politecnica de Madrid","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060549428","display_name":"John Derrick","orcid":"https://orcid.org/0000-0002-6631-8914"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"John Derrick","raw_affiliation_strings":["University of Sheffield"],"affiliations":[{"raw_affiliation_string":"University of Sheffield","institution_ids":["https://openalex.org/I91136226"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5079166867"],"corresponding_institution_ids":["https://openalex.org/I50357001"],"apc_list":null,"apc_paid":null,"fwci":1.4054,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.80013047,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"26","last_page":"34"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9986000061035156,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/erlang","display_name":"Erlang (programming language)","score":0.9546644687652588},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8468547463417053},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7500563859939575},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5729710459709167},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.5215858817100525},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5171117782592773},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5097147822380066},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.4819600284099579},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.43517494201660156},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.37301403284072876}],"concepts":[{"id":"https://openalex.org/C82484044","wikidata":"https://www.wikidata.org/wiki/Q334879","display_name":"Erlang (programming language)","level":3,"score":0.9546644687652588},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8468547463417053},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7500563859939575},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5729710459709167},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.5215858817100525},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5171117782592773},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5097147822380066},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4819600284099579},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.43517494201660156},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.37301403284072876}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1088361.1088367","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1088361.1088367","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2005 ACM SIGPLAN workshop on Erlang","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W26772505","https://openalex.org/W42134522","https://openalex.org/W67487833","https://openalex.org/W1518769161","https://openalex.org/W1519721122","https://openalex.org/W1532125752","https://openalex.org/W1534850143","https://openalex.org/W1573853539","https://openalex.org/W1594100802","https://openalex.org/W1763163479","https://openalex.org/W1817873823","https://openalex.org/W1971885680","https://openalex.org/W1983687658","https://openalex.org/W2015640848","https://openalex.org/W2040060046","https://openalex.org/W2145326461","https://openalex.org/W2154561484","https://openalex.org/W2164989576","https://openalex.org/W2899705369","https://openalex.org/W6634297077","https://openalex.org/W6684313409"],"related_works":["https://openalex.org/W1740816734","https://openalex.org/W1990409638","https://openalex.org/W2049038689","https://openalex.org/W2132325017","https://openalex.org/W2462966030","https://openalex.org/W1604894272","https://openalex.org/W94881827","https://openalex.org/W2155852086","https://openalex.org/W2324339387","https://openalex.org/W2799251552"],"abstract_inverted_index":{"In":[0],"this":[1,141],"paper":[2,142],"we":[3,107],"target":[4],"the":[5,38,114,136,147,165,186,191,201,212,229],"verification":[6,67],"of":[7,11,27,56,68,80,113,140,149,223],"fault":[8,69,89,163],"tolerant":[9],"aspects":[10],"distributed":[12],"applications":[13],"written":[14],"in":[15,20,35,135,203],"Erlang.":[16],"Erlang":[17,82,101,171,193],"is":[18,25,33,71,143,177,188,197],"unusual":[19],"several":[21],"respects.":[22],"First,":[23],"it":[24],"one":[26],"a":[28,84,93,124,170,204,208,217,221],"few":[29],"functional":[30],"languages":[31],"that":[32,96,158,228],"used":[34],"industry.":[36],"Secondly":[37],"programming":[39],"language":[40,62],"contains":[41],"support":[42],"for":[43,52,220],"concurrency":[44],"and":[45,92,122,155,162,180,196,226],"distribution":[46],"as":[47,49],"well":[48],"including":[50],"constructs":[51],"handling":[53],"fault-tolerance.Erlang":[54],"programmers,":[55],"course,":[57],"mostly":[58],"work":[59],"with":[60,88,174],"ready-made":[61],"components.":[63],"Our":[64],"approach":[65,202],"to":[66,72,127,146],"tolerance":[70,90],"verify":[73,100],"systems":[74],"built":[75,103,210],"using":[76,104,211],"two":[77],"central":[78],"components":[79,106],"most":[81],"software,":[83],"generic":[85,156,213],"server":[86,214,230],"component":[87,95],"handling,":[91],"supervisor":[94],"restarts":[97],"failed":[98],"processes.To":[99],"programs":[102],"these":[105,150],"automatically":[108],"translate":[109],"them":[110],"into":[111],"processes":[112],"\u03bcCRL":[115],"process":[116,160],"algebra,":[117],"generate":[118],"their":[119],"state":[120,166],"spaces,":[121],"use":[123],"model":[125],"checker":[126],"determine":[128],"whether":[129],"they":[130],"satisfy":[131],"correctness":[132],"properties":[133],"specified":[134],"\u03bc-calculus.The":[137],"key":[138],"observation":[139],"that,":[144],"due":[145],"usage":[148],"higher-level":[151],"design":[152],"patterns":[153],"(supervisors":[154],"servers)":[157],"structure":[159],"communication":[161],"recovery,":[164],"space":[167],"generated":[168,183],"from":[169,190],"program,":[172],"even":[173],"failures":[175],"occurring,":[176],"relatively":[178],"small,":[179],"can":[181],"be":[182],"automatically.":[184],"Moreover":[185],"method":[187],"independent":[189],"actual":[192],"program":[194],"studied,":[195],"thus":[198],"reusable.We":[199],"demonstrate":[200],"case":[205],"study":[206],"where":[207],"server,":[209],"component,":[215],"implements":[216],"locking":[218],"service":[219],"number":[222],"client":[224,232],"processes,":[225],"show":[227],"tolerates":[231],"failures.":[233]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}