{"id":"https://openalex.org/W3132516205","doi":"https://doi.org/10.1007/978-3-030-99253-8_10","title":"DyNetKAT: An Algebra of Dynamic Networks","display_name":"DyNetKAT: An Algebra of Dynamic Networks","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W3132516205","doi":"https://doi.org/10.1007/978-3-030-99253-8_10","mag":"3132516205"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-99253-8_10","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99253-8_10","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99253-8_10.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99253-8_10.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078092230","display_name":"Georgiana Caltais","orcid":"https://orcid.org/0000-0002-8653-2299"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Georgiana Caltais","raw_affiliation_strings":["University of Konstanz, Konstanz, The Netherlands","University of Twente, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-8653-2299","affiliations":[{"raw_affiliation_string":"University of Konstanz, Konstanz, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014085893","display_name":"Hossein Hojjat","orcid":"https://orcid.org/0000-0002-4743-8750"},"institutions":[{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]},{"id":"https://openalex.org/I4210109871","display_name":"Khatam University","ror":"https://ror.org/016tr2g85","country_code":"IR","type":"education","lineage":["https://openalex.org/I4210109871"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Hossein Hojjat","raw_affiliation_strings":["TeIAS, Khatam University, Tehran, Iran","University of Tehran, Tehran, Iran"],"raw_orcid":"https://orcid.org/0000-0002-4743-8750","affiliations":[{"raw_affiliation_string":"TeIAS, Khatam University, Tehran, Iran","institution_ids":["https://openalex.org/I4210109871"]},{"raw_affiliation_string":"University of Tehran, Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101493818","display_name":"Mohammad Reza Mousavi","orcid":"https://orcid.org/0000-0002-4869-6794"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mohammad Reza Mousavi","raw_affiliation_strings":["King\u2019s College London, London, UK"],"raw_orcid":"https://orcid.org/0000-0002-4869-6794","affiliations":[{"raw_affiliation_string":"King\u2019s College London, London, UK","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083707003","display_name":"H\u00fcnkar Can Tun\u00e7","orcid":"https://orcid.org/0000-0001-9125-8506"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"H\u00fcnkar Can Tun\u00e7","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark","University of Konstanz, Konstanz, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-9125-8506","affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]},{"raw_affiliation_string":"University of Konstanz, Konstanz, The Netherlands","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5078092230"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.0784,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.70850966,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"184","last_page":"204"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","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"}},"topics":[{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9975000023841858,"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8186594843864441},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5998203158378601},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3811514377593994},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3324534595012665},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09616604447364807},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.07337719202041626}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8186594843864441},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5998203158378601},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3811514377593994},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3324534595012665},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09616604447364807},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.07337719202041626}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-030-99253-8_10","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99253-8_10","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99253-8_10.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire/f81c5a13-3100-47b4-b933-86d64367013f","is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/f81c5a13-3100-47b4-b933-86d64367013f","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":null,"raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:openaire/b70f1fac-14fc-4522-9b68-a2ba29e32f20","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/b70f1fac-14fc-4522-9b68-a2ba29e32f20","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:kops.uni-konstanz.de:123456789/57472","is_oa":true,"landing_page_url":"http://nbn-resolving.de/urn:nbn:de:bsz:352-2-vvxz9k3lo09w4","pdf_url":null,"source":{"id":"https://openalex.org/S4306401487","display_name":"KOPS (University of Konstanz)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189712700","host_organization_name":"University of Konstanz","host_organization_lineage":["https://openalex.org/I189712700"],"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":"doc-type:conferenceObject"},{"id":"pmh:oai:pure.atira.dk:publications/f81c5a13-3100-47b4-b933-86d64367013f","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85128484006&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306400063","display_name":"Scopus (Elsevier)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-99253-8_10","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99253-8_10","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99253-8_10.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3132516205.pdf","grobid_xml":"https://content.openalex.org/works/W3132516205.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W1461485317","https://openalex.org/W1498432697","https://openalex.org/W1603492154","https://openalex.org/W2016799432","https://openalex.org/W2044965190","https://openalex.org/W2099501333","https://openalex.org/W2105135809","https://openalex.org/W2130210899","https://openalex.org/W2130531694","https://openalex.org/W2147118406","https://openalex.org/W2147802358","https://openalex.org/W2149236835","https://openalex.org/W2151517515","https://openalex.org/W2153250748","https://openalex.org/W2163593754","https://openalex.org/W2253297209","https://openalex.org/W2258885520","https://openalex.org/W2338941390","https://openalex.org/W2410246089","https://openalex.org/W2416192786","https://openalex.org/W2735148652","https://openalex.org/W2913846715","https://openalex.org/W2996133871","https://openalex.org/W3004629779","https://openalex.org/W3008933585","https://openalex.org/W3023372902","https://openalex.org/W3032311054","https://openalex.org/W3043451820","https://openalex.org/W3082845044","https://openalex.org/W4244719572","https://openalex.org/W6791651745"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Abstract":[0],"We":[1,44,54,69,97],"introduce":[2],"a":[3,46,77,94],"formal":[4],"language":[5,15],"for":[6,10,27,64,106],"specifying":[7],"dynamic":[8,42],"updates":[9],"Software":[11],"Defined":[12],"Networks.":[13],"Our":[14],"builds":[16],"upon":[17],"Network":[18],"Kleene":[19],"Algebra":[20],"with":[21,108],"Tests":[22],"(NetKAT)":[23],"and":[24,29,39,48,59,86,90],"adds":[25],"constructs":[26],"synchronisations":[28],"multi-packet":[30],"behaviour":[31],"to":[32,93],"capture":[33],"the":[34,37,56,82,87,103],"interaction":[35],"between":[36],"control-":[38],"data-plane":[40],"in":[41,74],"updates.":[43],"provide":[45,60],"sound":[47],"ground-complete":[49],"axiomatisation":[50],"of":[51,110],"our":[52,71,113],"language.":[53],"exploit":[55],"equational":[57,72],"theory":[58,73],"an":[61],"efficient":[62],"method":[63],"reasoning":[65],"about":[66],"safety":[67],"properties.":[68],"implement":[70],"DyNetiKAT":[75],"\u2013":[76],"tool":[78,114],"prototype,":[79],"based":[80],"on":[81],"Maude":[83],"Rewriting":[84],"Logic":[85],"NetKAT":[88],"tool,":[89],"apply":[91],"it":[92],"case":[95,104],"study.":[96],"show":[98],"that":[99],"we":[100],"can":[101],"analyse":[102],"study":[105],"networks":[107],"hundreds":[109],"switches":[111],"using":[112],"prototype.":[115]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}