Process Algebraic Specification of Software Defined Networks

Miyoung Kang, Junkil Park, Jin-Young Choi, Ki-Hyuk Nam, Myung-Ki Shin. Process Algebraic Specification of Software Defined Networks. In David Al-Dabass, Pichaya Tandayya, Jasmy Yunus, Apichat Heednacram, Zuwairie Ibrahim, editors, Fourth International Conference on Computational Intelligence, Communication Systems and Networks, CICSyN 2012, Phuket, Thailand, July 24-26, 2012. pages 359-363, IEEE, 2012. [doi]

Abstract

Abstract is missing.