Publisher
Springer International Publishing
Reference34 articles.
1. Anderson, C.J., Foster, N., Guha, A., Jeannin, J.-B., Kozen, D., Schlesinger, C., Walker, D.: NetKAT: semantic foundations for networks. In: Proceedings of the POPL, pp. 113–126. ACM (2014)
2. Angus, A., Kozen, D.: Kleene algebra with tests and program schematology. Technical report TR2001-1844, CS Department, Cornell University, July 2001
3. Antimirov, V.M.: Partial derivatives of regular expressions and finite automaton constructions. TCS 155(2), 291–319 (1996)
4. Bonchi, F., Pous, D.: Checking NFA equivalence with bisimulations up to congruence. In: Proceedings of the POPL, pp. 457-468. ACM (2013)
5. Lecture Notes in Computer Science;T Braibant,2010
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献