{"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":"book-chapter","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"],"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"],"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"],"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"],"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":4,"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":2.461,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.87862085,"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":"Caltais, G, Hojjat, H, Mousavi, M R & Tun\u00e7, H C 2022, DyNetKAT : An Algebra of Dynamic Networks. in P Bouyer & L Schr\u00f6der (eds), Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Springer, Lecture Notes in Computer Science, vol. 13242 LNCS, pp. 184-204, 25th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, 04/04/2022. https://doi.org/10.1007/978-3-030-99253-8_10","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":"Caltais, G, Hojjat, H, Mousavi, M R & Tun\u00e7, H C 2022, DyNetKAT : An Algebra of Dynamic Networks. in P Bouyer & L Schr\u00f6der (eds), Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13242, Springer, Cham, pp. 184-204, 25th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2022, Munich, Bavaria, Germany, 2/04/22. https://doi.org/10.1007/978-3-030-99253-8_10","raw_type":"info:eu-repo/semantics/publishedVersion"},{"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":"BOUYER,  Patricia,  Hrsg.,  Lutz SCHR\u00d6DER,  Hrsg.. Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2\u20137, 2022, Proceedings. Cham: Springer International Publishing, 2022, S. 184-204. Lecture Notes in Computer Science. 13242. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-99252-1. Verf\u00fcgbar unter: doi: 10.1007/978-3-030-99253-8_10","raw_type":"doc-type:Text"},{"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":"Caltais, G, Hojjat, H, Mousavi, M R & Tun\u00e7, H C 2022, DyNetKAT : An Algebra of Dynamic Networks. in P Bouyer & L Schr\u00f6der (eds), Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Springer, Lecture Notes in Computer Science, vol. 13242 LNCS, pp. 184-204, 25th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, 04/04/2022. https://doi.org/10.1007/978-3-030-99253-8_10","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-03-25T14:56:36.534964","created_date":"2025-10-10T00:00:00"}