Linking Operational Semantics and Algebraic Semantics for Wireless Networks.

Xiaofeng Wu, Huibiao Zhu

Browse the full ICFEM paper archive.