Science of Computer Programming · 2019 · 12 citations · 20 references
ComputingComputer EngineeringComputer ScienceComputer NetworksModel-based Systems EngineeringSystems ModelingNetwork ArchitectureNetwork ModelingNetwork TopologyProcess AlgebraProcess ModelingSoftware-defined NetworkingAlgebra Of Communicating ProcessesNetwork Topology DiscoveryOpenflowProcess Algebra EquivalenceProcess Algebra VerificationSoftware-defined Network TopologyTopology DiscoveryTopology Verification
20
Nick McKeown, Tom Anderson, Hari Balakrishnan et al. · ACM SIGCOMM Computer Communication Review · 2008 · 8.4K citations
Software-Defined Networking: A Comprehensive Survey
Diego Kreutz, Fernando M. V. Ramos, Paulo Esteves Veríssimo et al. · Proceedings of the IEEE · 2014 · 4.9K citations · Full text
Communicating sequential processes
Microprocessors and Microsystems · 1986 · 2.2K citations
Software abstractions: logic, language and analysis
Choice Reviews Online · 2007 · 1.5K citations
Poisoning Network Visibility in Software-Defined Networks: New Attacks and Countermeasures
Sungmin Hong, Lei Xu, Haopei Wang et al. · 2015 · 388 citations