State abstraction and management in software-defined networks | IEEE Conference Publication | IEEE Xplore