Using the pi-Calculus to Model Multiagent Systems. - Albert C. Esterline; Toinette Rorie (FAABS, 2000)