A Formal Specification and Method for MAS as a Distributed System. - Yan Qi 001; Xin Wang; Wei Yan; XinJun Mao; Zhi-Chang Qi (APPT, 2003)