Pi-calculus modeling for the multi-Agent collaborative system
YU Bin;ZHANG Chen;LI Weijing
J4 . 2014, (6): 76 -82 .  DOI: 10.3969/j.issn.1001-2400.2014.06.013