Analysis and Modeling for Interaction with Mobility Based on Pi-Calculus.

Yaya Liu, Jiulei Jiang

Browse the full DASC paper archive.