Yan Qi, Xin Wang, Wei Yan, XinJun Mao, Zhi-Chang Qi. A Formal Specification and Method for MAS as a Distributed System. In Xingming Zhou, Stefan Jähnichen, Ming Xu, Jiannong Cao, editors, Advanced Parallel Programming Technologies, 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings. Volume 2834 of Lecture Notes in Computer Science, pages 189-193, Springer, 2003. [doi]
Abstract is missing.