DyNetKAT: An Algebra of Dynamic Networks

Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç
April, 2022
PDF Cite Code DOI
Type
Conference paper
Publication
FoSSaCS 2022
Hünkar Can Tunç
Hünkar Can Tunç
PhD Student