Cited By
View all- Mouhoub NMoloney MMagoni D(2023)MNTG: A New Flexible Multilayer Network Topology Generator2023 IEEE Virtual Conference on Communications (VCC)10.1109/VCC60689.2023.10475021(67-73)Online publication date: 28-Nov-2023
- Smolka SFoster NHsu JKappé TKozen DSilva A(2019)Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear timeProceedings of the ACM on Programming Languages10.1145/33711294:POPL(1-28)Online publication date: 20-Dec-2019
- Chang SBallantyne MTurner MBowman W(2019)Dependent type systems as macrosProceedings of the ACM on Programming Languages10.1145/33710714:POPL(1-29)Online publication date: 20-Dec-2019
- Show More Cited By