{"id":"https://openalex.org/W1506096824","doi":"https://doi.org/10.1016/s1571-0661(04)80366-9","title":"Towards Behavioral Maude","display_name":"Towards Behavioral Maude","publication_year":2002,"publication_date":"2002-10-01","ids":{"openalex":"https://openalex.org/W1506096824","doi":"https://doi.org/10.1016/s1571-0661(04)80366-9","mag":"1506096824"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80366-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80366-9","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80366-9","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","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":true,"raw_author_name":"Jos\u00e9 Meseguer","raw_affiliation_strings":["Department of Computer Science, University of Illinois at Urbana-Champaign","Department of Computer Science University of Illinois at Urbana-Champaign"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"Department of Computer Science University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053878331","display_name":"Grigore Ro\u015fu","orcid":"https://orcid.org/0000-0002-3102-0421"},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]},{"id":"https://openalex.org/I143663144","display_name":"Research Institute for Advanced Computer Science","ror":"https://ror.org/022qmyy53","country_code":"US","type":"facility","lineage":["https://openalex.org/I1329765538","https://openalex.org/I143663144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Grigore Ro\u015fu","raw_affiliation_strings":["NASA Ames Research Center - RIACS"],"affiliations":[{"raw_affiliation_string":"NASA Ames Research Center - RIACS","institution_ids":["https://openalex.org/I143663144","https://openalex.org/I1280536761"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5102754614"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":1.2506,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.80563364,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"65","issue":"1","first_page":"197","last_page":"253"},"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.9998999834060669,"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.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.996999979019165,"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/equational-logic","display_name":"Equational logic","score":0.915686309337616},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6775519251823425},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6082196235656738},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5646795034408569},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5638203024864197},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.524962842464447},{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"Algebraic semantics","score":0.48474952578544617},{"id":"https://openalex.org/keywords/algebraic-specification","display_name":"Algebraic specification","score":0.4842969477176666},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.4344772398471832},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3603046238422394},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33145713806152344},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.31579118967056274},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2986835241317749},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2685122489929199},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.11895361542701721}],"concepts":[{"id":"https://openalex.org/C154564781","wikidata":"https://www.wikidata.org/wiki/Q5384236","display_name":"Equational logic","level":3,"score":0.915686309337616},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6775519251823425},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6082196235656738},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5646795034408569},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5638203024864197},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.524962842464447},{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.48474952578544617},{"id":"https://openalex.org/C2777691520","wikidata":"https://www.wikidata.org/wiki/Q4724019","display_name":"Algebraic specification","level":3,"score":0.4842969477176666},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.4344772398471832},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3603046238422394},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33145713806152344},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.31579118967056274},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2986835241317749},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2685122489929199},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.11895361542701721}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)80366-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80366-9","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80366-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80366-9","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":95,"referenced_works":["https://openalex.org/W3442540","https://openalex.org/W50691909","https://openalex.org/W55294761","https://openalex.org/W75495785","https://openalex.org/W78613561","https://openalex.org/W102930910","https://openalex.org/W115619138","https://openalex.org/W133886833","https://openalex.org/W149392635","https://openalex.org/W161084855","https://openalex.org/W167618404","https://openalex.org/W203013772","https://openalex.org/W629961933","https://openalex.org/W633421911","https://openalex.org/W657159919","https://openalex.org/W1480882475","https://openalex.org/W1487335573","https://openalex.org/W1488721712","https://openalex.org/W1498170831","https://openalex.org/W1501766053","https://openalex.org/W1504300023","https://openalex.org/W1509854283","https://openalex.org/W1510908891","https://openalex.org/W1515642336","https://openalex.org/W1518888602","https://openalex.org/W1523870086","https://openalex.org/W1530666819","https://openalex.org/W1541153481","https://openalex.org/W1541732450","https://openalex.org/W1557362830","https://openalex.org/W1561701483","https://openalex.org/W1576078479","https://openalex.org/W1584194252","https://openalex.org/W1600606023","https://openalex.org/W1642794754","https://openalex.org/W1678943029","https://openalex.org/W1813497108","https://openalex.org/W1842577817","https://openalex.org/W1877851693","https://openalex.org/W1966706395","https://openalex.org/W1970127869","https://openalex.org/W1971120309","https://openalex.org/W1976967017","https://openalex.org/W1985275803","https://openalex.org/W1988964526","https://openalex.org/W1990986092","https://openalex.org/W1991598919","https://openalex.org/W1992383986","https://openalex.org/W2002112801","https://openalex.org/W2010883554","https://openalex.org/W2012007202","https://openalex.org/W2021957222","https://openalex.org/W2026523750","https://openalex.org/W2029841602","https://openalex.org/W2032432675","https://openalex.org/W2033809864","https://openalex.org/W2037105931","https://openalex.org/W2039716077","https://openalex.org/W2059891142","https://openalex.org/W2069740012","https://openalex.org/W2079822631","https://openalex.org/W2081115499","https://openalex.org/W2088189323","https://openalex.org/W2109597998","https://openalex.org/W2115773332","https://openalex.org/W2134287022","https://openalex.org/W2154756849","https://openalex.org/W2170673019","https://openalex.org/W2493256084","https://openalex.org/W2502303098","https://openalex.org/W2658295792","https://openalex.org/W2911306852","https://openalex.org/W2912184087","https://openalex.org/W2914488987","https://openalex.org/W2914821813","https://openalex.org/W2973533397","https://openalex.org/W2986017963","https://openalex.org/W3145120770","https://openalex.org/W4229783124","https://openalex.org/W4238794324","https://openalex.org/W4285719527","https://openalex.org/W4300668781","https://openalex.org/W4388313847","https://openalex.org/W6602248351","https://openalex.org/W6604672851","https://openalex.org/W6606732317","https://openalex.org/W6628715944","https://openalex.org/W6629222572","https://openalex.org/W6630487960","https://openalex.org/W6647454041","https://openalex.org/W6670687444","https://openalex.org/W6676896160","https://openalex.org/W6723250394","https://openalex.org/W6808066202","https://openalex.org/W7053504691"],"related_works":["https://openalex.org/W1843743178","https://openalex.org/W4214967614","https://openalex.org/W1590378845","https://openalex.org/W1998691016","https://openalex.org/W1494377890","https://openalex.org/W2157716537","https://openalex.org/W3049517945","https://openalex.org/W1506096824","https://openalex.org/W166127254","https://openalex.org/W1765151687"],"abstract_inverted_index":{"How":[0,8],"can":[1,9],"algebraic":[2,16,126],"and":[3,27,33,48,54,61,74,97,104,117,127,148,153,182],"coalgebraic":[4,129],"specifications":[5],"be":[6,12],"integrated?":[7],"behavioral":[10],"equivalence":[11],"addressed":[13],"in":[14,23,29,58,152],"an":[15,75,125,145],"specification":[17,80],"language?":[18],"The":[19],"hidden-sorted":[20,38,87,111],"approach,":[21],"originating":[22],"work":[24,65],"of":[25,71,77,102,113,140],"Goguen":[26],"Meseguer":[28],"the":[30,37,78,99,137,155],"early":[31],"80's,":[32],"further":[34,69],"developed":[35],"into":[36],"logic":[39,147],"approach":[40],"by":[41],"researchers":[42],"at":[43],"Oxford,":[44],"UC":[45],"San":[46],"Diego,":[47],"Kanazawa":[49],"offers":[50],"some":[51],"attractive":[52],"answers,":[53],"has":[55],"been":[56],"implemented":[57],"both":[59,68,124],"BOBJ":[60],"CafeOBJ.":[62],"In":[63],"this":[64,85],"we":[66],"investigate":[67],"extensions":[70],"hidden":[72],"logic,":[73,92,95,116],"extension":[76,112],"Maude":[79,172],"language":[81,138],"called":[82],"BMaude":[83,174],"supporting":[84],"extended":[86,146],"semantics.":[88],"Maude's":[89,163],"underlying":[90],"equational":[91,94,106,115],"membership":[93,114],"generalizes":[96],"increases":[98],"expressive":[100],"power":[101],"many-sorted":[103],"order-sorted":[105],"logics.":[107],"We":[108,134,159],"develop":[109],"a":[110,128,167],"give":[118],"conditions":[119],"under":[120],"which":[121],"theories":[122],"have":[123],"semantics,":[130],"including":[131,177],"final":[132],"(co-)algebras.":[133],"also":[135,160],"discuss":[136],"design":[139],"BMaude,":[141],"based":[142],"on":[143],"such":[144],"using":[149],"categorical":[150],"notions":[151],"across":[154],"different":[156],"institutions":[157],"involved.":[158],"explain":[161],"how":[162],"reflective":[164],"semantics":[165],"provides":[166],"systematic":[168],"method":[169],"to":[170,173],"extend":[171],"within":[175],"Maude,":[176],"module":[178],"composition":[179],"operations,":[180],"evaluation,":[181],"automated":[183],"proof":[184],"methods.":[185]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}