Modeling and Implementation of Distributed Environment Based on Pi-Calculus and Agent | IEEE Conference Publication | IEEE Xplore