{"id":"https://openalex.org/W2810780888","doi":"https://doi.org/10.23638/lmcs-16(3:2)2020","title":"Rule Algebras for Adhesive Categories","display_name":"Rule Algebras for Adhesive Categories","publication_year":2020,"publication_date":"2020-07-03","ids":{"openalex":"https://openalex.org/W2810780888","doi":"https://doi.org/10.23638/lmcs-16(3:2)2020","mag":"2810780888"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-16(3:2)2020","doi":"https://doi.org/10.23638/lmcs-16(3:2)2020","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-16(3:2)2020","pdf_url":"https://lmcs.episciences.org/6615/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-c","cwts-core","ddh","doaj","dongbi-d","jufo-1","norway-1","poland-70","russia-white-list-3","vabb-shw"],"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"parent_works":[],"lineage":["https://openalex.org/W2810780888"],"child_works_count":0,"type":"article","is_traditional":true,"indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/6615/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016179123","display_name":"Nicolas Behr","orcid":"https://orcid.org/0000-0002-8738-5040","observed_orcids":["https://orcid.org/0000-0002-8738-5040"]},"institutions":[{"id":"https://openalex.org/I4210117673","display_name":"Institut de Recherche en Informatique Fondamentale","ror":"https://ror.org/02krdtz55","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I4210089394","https://openalex.org/I4210117673","https://openalex.org/I4210139971"]},{"id":"https://openalex.org/I4387154366","display_name":"Universit\u00e9 Paris Diderot","ror":"https://ror.org/02n7qrg46","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241","https://openalex.org/I4387154366"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nicolas Behr","raw_affiliation_strings":["IRIF , Universit\u00e9 Paris-Diderot , Paris , France","Institut de Recherche en Informatique Fondamentale"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRIF , Universit\u00e9 Paris-Diderot , Paris , France","institution_ids":["https://openalex.org/I4210117673","https://openalex.org/I4387154366"]},{"raw_affiliation_string":"Institut de Recherche en Informatique Fondamentale","institution_ids":["https://openalex.org/I4210117673"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5114374645","display_name":"Pawe\u0142 Soboci\u0144ski","orcid":"https://orcid.org/0000-0002-7992-9685","observed_orcids":["https://orcid.org/0000-0002-7992-9685"]},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Pawel Sobocinski","raw_affiliation_strings":["300 , San Francisco , CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany","Tallinn University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"300 , San Francisco , CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany","institution_ids":[]},{"raw_affiliation_string":"Tallinn University of Technology","institution_ids":["https://openalex.org/I111112146"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.4804,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.9469697,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":"Volume 16, Issue 3","issue":"3","first_page":null,"last_page":null},"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.6669999957084656,"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/T10126","display_name":"Logic, programming, and type systems","score":0.6669999957084656,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.24500000476837158,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.010599999688565731,"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/adhesive-categories","display_name":"adhesive categories","score":0.8859999775886536},{"id":"https://openalex.org/keywords/graphical-structure","display_name":"graphical structure","score":0.5879999995231628},{"id":"https://openalex.org/keywords/unital-algebras","display_name":"unital algebras","score":0.7979999780654907},{"id":"https://openalex.org/keywords/statistical-moments","display_name":"statistical moments","score":0.9580000042915344}],"concepts":[{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.9779859781265259},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7724438309669495},{"id":"https://openalex.org/C159423971","wikidata":"https://www.wikidata.org/wiki/Q177251","display_name":"Associative property","level":2,"score":0.7689604163169861},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6407061219215393},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5417022109031677},{"id":"https://openalex.org/C51292594","wikidata":"https://www.wikidata.org/wiki/Q744960","display_name":"Associative algebra","level":5,"score":0.5113822817802429},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5110715627670288},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.43749117851257324},{"id":"https://openalex.org/C160873635","wikidata":"https://www.wikidata.org/wiki/Q17148807","display_name":"Unital","level":3,"score":0.4137829542160034},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3803821802139282},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3665127158164978},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.23791587352752686},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1729508638381958},{"id":"https://openalex.org/C100899422","wikidata":"https://www.wikidata.org/wiki/Q5058347","display_name":"Cellular algebra","level":4,"score":0.1419661045074463},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.23638/lmcs-16(3:2)2020","doi":"https://doi.org/10.23638/lmcs-16(3:2)2020","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-16(3:2)2020","pdf_url":"https://lmcs.episciences.org/6615/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-c","cwts-core","ddh","doaj","dongbi-d","jufo-1","norway-1","poland-70","russia-white-list-3","vabb-shw"],"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:eprints.soton.ac.uk:422642","doi":null,"is_oa":false,"landing_page_url":"https://eprints.soton.ac.uk/id/eprint/422642/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401019","display_name":"ePrints Soton (University of Southampton)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I43439940","host_organization_name":"University of Southampton","host_organization_lineage":["https://openalex.org/I43439940"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Conference or Workshop Item"},{"id":"pmh:oai:arXiv.org:1807.00785","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1807.00785","pdf_url":"https://arxiv.org/pdf/1807.00785","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"pmh:oai:HAL:hal-03835456v1","doi":null,"is_oa":false,"landing_page_url":"https://hal.science/hal-03835456","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://lmcs.episciences.org/6615","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:36d55c101e8344b4b587c232f9fa5cf2","doi":null,"is_oa":true,"landing_page_url":"https://doaj.org/article/36d55c101e8344b4b587c232f9fa5cf2","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 16, Issue 3 (2020)","raw_type":"article"},{"id":"doi:10.48550/arxiv.1807.00785","doi":"https://doi.org/10.48550/arxiv.1807.00785","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1807.00785","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.23638/lmcs-16(3:2)2020","doi":"https://doi.org/10.23638/lmcs-16(3:2)2020","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-16(3:2)2020","pdf_url":null,"source":{"id":"https://openalex.org/S7407051910","display_name":"Entrep\u00f4t pour orphelin","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:3081927510","doi":null,"is_oa":true,"landing_page_url":"https://dblp.uni-trier.de/db/journals/lmcs/lmcs16.html#BehrS20","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-c","cwts-core","ddh","doaj","dongbi-d","jufo-1","norway-1","poland-70","russia-white-list-3","vabb-shw"],"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science","raw_type":null}],"best_oa_location":{"id":"doi:10.23638/lmcs-16(3:2)2020","doi":"https://doi.org/10.23638/lmcs-16(3:2)2020","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-16(3:2)2020","pdf_url":"https://lmcs.episciences.org/6615/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-c","cwts-core","ddh","doaj","dongbi-d","jufo-1","norway-1","poland-70","russia-white-list-3","vabb-shw"],"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G2426432956","display_name":null,"funder_award_id":"20142020","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"},{"id":"https://openalex.org/G5484349207","display_name":null,"funder_award_id":"2014-2020.4.05.19-0001","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"},{"id":"https://openalex.org/G7562205809","display_name":"Rule-algebraic Simple Rewriting","funder_award_id":"753750","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338080","display_name":"European Social Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2810780888.pdf","grobid_xml":"https://content.openalex.org/works/W2810780888.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W69640471","https://openalex.org/W87699915","https://openalex.org/W110217058","https://openalex.org/W219446931","https://openalex.org/W755194005","https://openalex.org/W1490620776","https://openalex.org/W1500755772","https://openalex.org/W1512007370","https://openalex.org/W1523891492","https://openalex.org/W1538529531","https://openalex.org/W1577544661","https://openalex.org/W1787979754","https://openalex.org/W1972476072","https://openalex.org/W2035311210","https://openalex.org/W2054776476","https://openalex.org/W2106925277","https://openalex.org/W2125089797","https://openalex.org/W2126064463","https://openalex.org/W2171796349","https://openalex.org/W2466928235","https://openalex.org/W2553278345","https://openalex.org/W2582869388","https://openalex.org/W2737885945","https://openalex.org/W2781101940","https://openalex.org/W2936170239","https://openalex.org/W2938043835","https://openalex.org/W2938952696","https://openalex.org/W2942407691","https://openalex.org/W2963964585","https://openalex.org/W2964051819","https://openalex.org/W2970546136","https://openalex.org/W4205916380","https://openalex.org/W4243055393","https://openalex.org/W4299735729"],"related_works":["https://openalex.org/W2938043835","https://openalex.org/W2938952696","https://openalex.org/W4394907191","https://openalex.org/W7100991459","https://openalex.org/W180420728","https://openalex.org/W4376552726","https://openalex.org/W1976144411","https://openalex.org/W4402337914","https://openalex.org/W2054776476","https://openalex.org/W2466928235"],"abstract_inverted_index":{"We":[0,54,104],"demonstrate":[1,105],"that":[2,26,106],"the":[3,11,38,47,65,71,93,114,121,125,131],"most":[4,66],"well-known":[5],"approach":[6],"to":[7,57,101,127],"rewriting":[8,141],"graphical":[9],"structures,":[10],"Double-Pushout":[12],"(DPO)":[13],"approach,":[14],"possesses":[15],"a":[16,30,85,110],"notion":[17],"of":[18,21,41,51,113,123,133,136],"sequential":[19],"compositions":[20],"rules":[22],"along":[23],"an":[24,90],"overlap":[25],"is":[27,97,117],"associative":[28],"in":[29,37,61,83,107,138],"natural":[31],"sense.":[32],"Notably,":[33],"our":[34],"results":[35],"hold":[36],"general":[39,67],"setting":[40,109],"$\\mathcal{M}$-adhesive":[42,77],"categories.":[43],"This":[44],"observation":[45],"complements":[46],"classical":[48],"Concurrency":[49],"Theorem":[50],"DPO":[52,140],"rewriting.":[53],"then":[55],"proceed":[56],"define":[58,128],"rule":[59,95,115],"algebras":[60,116],"both":[62],"settings,":[63],"where":[64],"categories":[68,78],"permissible":[69],"are":[70],"finitary":[72,74],"(or":[73],"restrictions":[75],"of)":[76],"with":[79],"$\\mathcal{M}$-effective":[80],"unions.":[81],"If":[82],"addition":[84,100],"given":[86],"such":[87],"category":[88],"possess":[89],"$\\mathcal{M}$-initial":[91],"object,":[92],"resulting":[94],"algebra":[96],"unital":[98],"(in":[99],"being":[102],"associative).":[103],"this":[108],"canonical":[111],"representation":[112],"obtainable,":[118],"which":[119],"opens":[120],"possibility":[122],"applying":[124],"concept":[126],"and":[129],"compute":[130],"evolution":[132],"statistical":[134],"moments":[135],"observables":[137],"stochastic":[139],"systems.":[142]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":3}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2018-07-10T00:00:00"}