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]

Authors

Miyoung Kang

This author has not been identified. Look up 'Miyoung Kang' in Google

Junkil Park

This author has not been identified. Look up 'Junkil Park' in Google

Jin-Young Choi

This author has not been identified. Look up 'Jin-Young Choi' in Google

Ki-Hyuk Nam

This author has not been identified. Look up 'Ki-Hyuk Nam' in Google

Myung-Ki Shin

This author has not been identified. Look up 'Myung-Ki Shin' in Google