{"id":"https://openalex.org/W2101618054","doi":"https://doi.org/10.1017/s096012950600569x","title":"Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts","display_name":"Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts","publication_year":2006,"publication_date":"2006-12-01","ids":{"openalex":"https://openalex.org/W2101618054","doi":"https://doi.org/10.1017/s096012950600569x","mag":"2101618054"},"language":"en","primary_location":{"id":"doi:10.1017/s096012950600569x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s096012950600569x","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-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/A5002594574","display_name":"Hartmut Ehrig","orcid":null},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"HARTMUT EHRIG","raw_affiliation_strings":["Institut f\u00fcr Softwaretechnik und Theoretische Informatik, Technische Universit\u00e4t Berlin, Germany Email:","Institut f\u00fcr Softwaretechnik und Theoretische Informatik, Technische Universit\u00e4t Berlin, Germany Email: ehrig@cs.tu-berlin.de"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Softwaretechnik und Theoretische Informatik, Technische Universit\u00e4t Berlin, Germany Email:","institution_ids":["https://openalex.org/I4577782"]},{"raw_affiliation_string":"Institut f\u00fcr Softwaretechnik und Theoretische Informatik, Technische Universit\u00e4t Berlin, Germany Email: ehrig@cs.tu-berlin.de","institution_ids":["https://openalex.org/I4577782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103103785","display_name":"Barbara K\u00f6nig","orcid":"https://orcid.org/0000-0002-4193-2889"},"institutions":[{"id":"https://openalex.org/I62318514","display_name":"University of Duisburg-Essen","ror":"https://ror.org/04mz5ra38","country_code":"DE","type":"education","lineage":["https://openalex.org/I62318514"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"BARBARA K\u00d6NIG","raw_affiliation_strings":["Institut f\u00fcr Informatik und interaktive Systeme, Universit\u00e4t Duisburg-Essen, 47048 Duisburg, Germany Email:","Institut f\u00fcr Informatik und interaktive Systeme, Universit\u00e4t Duisburg-Essen, 47048 Duisburg, Germany Email: barbara_koenig@uni-due.de"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik und interaktive Systeme, Universit\u00e4t Duisburg-Essen, 47048 Duisburg, Germany Email:","institution_ids":["https://openalex.org/I62318514"]},{"raw_affiliation_string":"Institut f\u00fcr Informatik und interaktive Systeme, Universit\u00e4t Duisburg-Essen, 47048 Duisburg, Germany Email: barbara_koenig@uni-due.de","institution_ids":["https://openalex.org/I62318514"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5002594574"],"corresponding_institution_ids":["https://openalex.org/I4577782"],"apc_list":null,"apc_paid":null,"fwci":7.7019,"has_fulltext":false,"cited_by_count":65,"citation_normalized_percentile":{"value":0.97512821,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"16","issue":"6","first_page":"1133","last_page":"1163"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.998199999332428,"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/rewriting","display_name":"Rewriting","score":0.8673921823501587},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.8289602994918823},{"id":"https://openalex.org/keywords/congruence-relation","display_name":"Congruence relation","score":0.8021931648254395},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.7079771757125854},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.5605798959732056},{"id":"https://openalex.org/keywords/confluence","display_name":"Confluence","score":0.5316420793533325},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5226128697395325},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.47790321707725525},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.44919300079345703},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4358518123626709},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3193502128124237},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3183988332748413},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3011203408241272},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09714901447296143}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.8673921823501587},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.8289602994918823},{"id":"https://openalex.org/C9973445","wikidata":"https://www.wikidata.org/wiki/Q8349849","display_name":"Congruence relation","level":2,"score":0.8021931648254395},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.7079771757125854},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.5605798959732056},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.5316420793533325},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5226128697395325},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.47790321707725525},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.44919300079345703},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4358518123626709},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3193502128124237},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3183988332748413},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3011203408241272},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09714901447296143},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s096012950600569x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s096012950600569x","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.5099999904632568}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W81287192","https://openalex.org/W203609956","https://openalex.org/W1487429213","https://openalex.org/W1488482916","https://openalex.org/W1488700375","https://openalex.org/W1495299640","https://openalex.org/W1500576982","https://openalex.org/W1533008268","https://openalex.org/W1603799276","https://openalex.org/W1675309158","https://openalex.org/W1787979754","https://openalex.org/W1836115201","https://openalex.org/W1894198336","https://openalex.org/W1971095420","https://openalex.org/W2008838944","https://openalex.org/W2036929339","https://openalex.org/W2049924207","https://openalex.org/W2054776476","https://openalex.org/W2069729451","https://openalex.org/W2120713972","https://openalex.org/W2143029909","https://openalex.org/W2160187079","https://openalex.org/W2319572014","https://openalex.org/W2464760650","https://openalex.org/W2536118580"],"related_works":["https://openalex.org/W1761458962","https://openalex.org/W2463026518","https://openalex.org/W1515515243","https://openalex.org/W4206221271","https://openalex.org/W3172487478","https://openalex.org/W2504157767","https://openalex.org/W2475418661","https://openalex.org/W1504820687","https://openalex.org/W2491573813","https://openalex.org/W1569493237"],"abstract_inverted_index":{"Motivated":[0],"by":[1],"recent":[2],"work":[3],"on":[4,103],"the":[5,25,33,47,74,97,100,125],"derivation":[6,126],"of":[7,46,60,87,93,127],"labelled":[8,62,128],"transitions":[9,63,129],"and":[10,82,120],"bisimulation":[11],"congruences":[12],"from":[13],"unlabelled":[14],"reaction":[15],"rules,":[16],"we":[17,38],"show":[18],"how":[19],"to":[20,29,54],"address":[21],"this":[22,94],"problem":[23],"in":[24],"DPO":[26,75],"(double-pushout)":[27],"approach":[28,123],"graph":[30,104],"rewriting.":[31],"Unlike":[32],"case":[34],"with":[35,67,73,106,124],"previous":[36],"approaches,":[37],"consider":[39],"graphs":[40],"as":[41],"objects,":[42],"rather":[43],"than":[44],"arrows,":[45],"category":[48,88],"under":[49],"consideration.":[50],"This":[51],"allows":[52],"us":[53],"present":[55],"a":[56,78,85,110],"very":[57,79],"simple":[58],"way":[59],"deriving":[61],"(called":[64],"rewriting":[65,105],"steps":[66],"borrowed":[68,107],"context),":[69],"which":[70],"integrates":[71],"smoothly":[72],"approach,":[76],"has":[77],"constructive":[80],"nature":[81],"requires":[83],"only":[84],"minimum":[86],"theory.":[89],"The":[90],"core":[91],"part":[92],"paper":[95],"is":[96,109],"proof":[98,118],"that":[99],"bisimilarity":[101],"based":[102],"contexts":[108],"congruence":[111],"relation.":[112],"We":[113],"will":[114],"also":[115],"introduce":[116],"some":[117],"techniques":[119],"compare":[121],"our":[122],"via":[130],"relative":[131],"pushouts.":[132]},"counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}