{"id":"https://openalex.org/W4402210717","doi":"https://doi.org/10.1145/3678232.3678237","title":"Programming Open Distributed Systems in Maude","display_name":"Programming Open Distributed Systems in Maude","publication_year":2024,"publication_date":"2024-09-04","ids":{"openalex":"https://openalex.org/W4402210717","doi":"https://doi.org/10.1145/3678232.3678237"},"language":"en","primary_location":{"id":"doi:10.1145/3678232.3678237","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3678232.3678237","pdf_url":null,"source":null,"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 26th International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3678232.3678237","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016544041","display_name":"Francisco Dur\u00e1n","orcid":"https://orcid.org/0000-0001-5864-8094"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Francisco Dur\u00e1n","raw_affiliation_strings":["University of M\u00e1laga, Spain"],"affiliations":[{"raw_affiliation_string":"University of M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019436123","display_name":"Steven Eker","orcid":"https://orcid.org/0000-0001-9154-262X"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Steven Eker","raw_affiliation_strings":["SRI International, USA"],"affiliations":[{"raw_affiliation_string":"SRI International, USA","institution_ids":["https://openalex.org/I1298353152"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032149189","display_name":"Santiago Escobar","orcid":"https://orcid.org/0000-0002-3550-4781"},"institutions":[{"id":"https://openalex.org/I60053951","display_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","ror":"https://ror.org/01460j859","country_code":"ES","type":"education","lineage":["https://openalex.org/I60053951"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Santiago Escobar","raw_affiliation_strings":["Universitat Polit\u00e8cnica de Val\u00e8ncia, Spain"],"affiliations":[{"raw_affiliation_string":"Universitat Polit\u00e8cnica de Val\u00e8ncia, Spain","institution_ids":["https://openalex.org/I60053951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034342549","display_name":"Narciso Mart\u0131\u0301-Oliet","orcid":"https://orcid.org/0000-0002-6576-762X"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Narciso Mart\u00ed-Oliet","raw_affiliation_strings":["Universidad Complutense de Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"Universidad Complutense de Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102754614","display_name":"Jos\u00e9 Meseguer","orcid":"https://orcid.org/0000-0003-4779-3848"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 Meseguer","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5094095435","display_name":"Rub\u00e9n Rubio","orcid":"https://orcid.org/0000-0003-2983-3404"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Rub\u00e9n Rubio","raw_affiliation_strings":["Universidad Complutense de Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"Universidad Complutense de Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090498111","display_name":"Carolyn Talcott","orcid":"https://orcid.org/0000-0003-2845-7144"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carolyn Talcott","raw_affiliation_strings":["SRI International, USA"],"affiliations":[{"raw_affiliation_string":"SRI International, USA","institution_ids":["https://openalex.org/I1298353152"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5016544041"],"corresponding_institution_ids":["https://openalex.org/I82767444"],"apc_list":null,"apc_paid":null,"fwci":1.3901,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.84374332,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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.7885157465934753},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6191144585609436},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5035867094993591}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7885157465934753},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6191144585609436},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5035867094993591}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3678232.3678237","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3678232.3678237","pdf_url":null,"source":null,"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 26th International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3678232.3678237","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3678232.3678237","pdf_url":null,"source":null,"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 26th International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1411269697","display_name":null,"funder_award_id":"CIPROM/2022/6","funder_id":"https://openalex.org/F4320321864","funder_display_name":"Generalitat Valenciana"},{"id":"https://openalex.org/G4909719005","display_name":null,"funder_award_id":"PID2021-122830OB-C42","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G5344987094","display_name":null,"funder_award_id":"TED2021-130666B-I00","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7422546125","display_name":null,"funder_award_id":"G6133","funder_id":"https://openalex.org/F4320307849","funder_display_name":"North Atlantic Treaty Organization"},{"id":"https://openalex.org/G7434292347","display_name":null,"funder_award_id":"PID2021-125527NB-I00","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8893603040","display_name":null,"funder_award_id":"PID2019-108528RB-C22","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320307849","display_name":"North Atlantic Treaty Organization","ror":"https://ror.org/05xagc088"},{"id":"https://openalex.org/F4320321864","display_name":"Generalitat Valenciana","ror":"https://ror.org/0097mvx21"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W112244894","https://openalex.org/W157143398","https://openalex.org/W1638978760","https://openalex.org/W1852979719","https://openalex.org/W1976195354","https://openalex.org/W1986424898","https://openalex.org/W1991598919","https://openalex.org/W1997189669","https://openalex.org/W1998413131","https://openalex.org/W2006340882","https://openalex.org/W2006766139","https://openalex.org/W2097974511","https://openalex.org/W2106265536","https://openalex.org/W2294307095","https://openalex.org/W2913689616","https://openalex.org/W2979518100","https://openalex.org/W2997874361","https://openalex.org/W3178574993","https://openalex.org/W4200221259","https://openalex.org/W4234315090","https://openalex.org/W4240761403","https://openalex.org/W4288768859","https://openalex.org/W4307886864","https://openalex.org/W4323026591","https://openalex.org/W4387850931","https://openalex.org/W6959925686"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2120204135","https://openalex.org/W2139396251","https://openalex.org/W1796293478","https://openalex.org/W1577544887","https://openalex.org/W2168276503","https://openalex.org/W1573537275","https://openalex.org/W2105713543","https://openalex.org/W174435416"],"abstract_inverted_index":{"Maude":[0,40,74,80,110],"is":[1],"a":[2,83,97,115,122],"high-performance":[3],"logical":[4],"framework":[5],"based":[6],"on":[7],"rewriting":[8],"logic":[9],"and":[10,15,49,71,82,95,107,111,133,135],"supporting":[11],"formal":[12,131],"specification,":[13,47],"verification":[14,48,134],"declarative":[16,76],"programming":[17],"of":[18,29,60,86,118],"concurrent":[19,23],"systems.":[20],"Since":[21,51],"most":[22],"open":[24,52,101],"systems":[25,53],"are":[26,54],"made":[27],"up":[28],"actor-like":[30],"objects":[31,61,81,120],"that":[32,124],"communicate":[33],"with":[34],"each":[35],"other":[36],"through":[37],"message":[38],"passing,":[39],"provides":[41],"special":[42],"features":[43],"to":[44],"support":[45],"their":[46],"programming.":[50],"heterogeneous,":[55],"involving":[56],"widely":[57],"different":[58],"kinds":[59],"such":[62],"as":[63,114],"sensors,":[64],"actuators,":[65],"devices,":[66],"databases,":[67],"graphical":[68],"user":[69],"interfaces,":[70],"so":[72],"on,":[73],"supports":[75],"message-passing":[77],"interaction":[78],"between":[79,129],"wide":[84],"variety":[85],"heterogeneous":[87,119],"external":[88],"objects.":[89],"In":[90],"this":[91],"paper":[92],"we":[93],"explain":[94],"illustrate":[96],"methodology":[98],"where":[99],"an":[100],"system":[102,117],"can":[103],"first":[104],"be":[105],"designed":[106],"verified":[108],"in":[109,121],"then":[112],"implemented":[113],"distributed":[116,137],"way":[123],"seamlessly":[125],"bridges":[126],"the":[127],"gap":[128],"its":[130,136],"specification":[132],"implementation.":[138]},"counts_by_year":[{"year":2025,"cited_by_count":4}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}