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]
@inproceedings{QiWYMQ03,
title = {A Formal Specification and Method for MAS as a Distributed System},
author = {Yan Qi and Xin Wang and Wei Yan and XinJun Mao and Zhi-Chang Qi},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2834&spage=189},
researchr = {https://researchr.org/publication/QiWYMQ03},
cites = {0},
citedby = {0},
pages = {189-193},
booktitle = {Advanced Parallel Programming Technologies, 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings},
editor = {Xingming Zhou and Stefan Jähnichen and Ming Xu and Jiannong Cao},
volume = {2834},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20054-1},
}