the National Natural Science Foundation of China(Nos.61033002,60903020,61202023);the Science and Technology Commission of Shanghai Municipality(No.11XD1402800)
In the context of process calculi, higher order π calculus (A calculus) is prominent and popular due to its ability to transfer processes. Motivated by the attempt to study the process theory in an integrated way, ...
Supported by the National Natural Science Foundation of China (Nos. 61033002 and 61202024)
Wireless ad-hoc network is widely used in many fields for its convenience and outstanding suitability. Because of the inherent lack of infrastructure and the nature of wireless channels, people select the k-Connected ...