Efficient Action Computation for Compositional SDN Policies | IEEE Journals & Magazine | IEEE Xplore