Implementation of Distributed Multi-Agent Scheduling Algorithm Based on Pi-calculus. - Bairun Li; Hui Kang; Fang Mei (SmartCom, 2018)