ISBN | 9798516921896 | ||
---|---|---|---|
作者 | Long, Xiang. | 授予学位单位 | Cornell University. |
导师 | Kozen, Dexter | 学位 | Ph.D. |
学科 | Computer science. | 国籍 | US |
页码/总页数 | 167 p. / 167 | 出版年 | 2021 |
中图分类号 | TP | ||
关键词 | Circuit complexity Denotational semantics Kleene algebra Match-action NetKAT Software-defined networking |