The　communication　between　agents　has　some　special　requirements.　One　of　them　is　asynchronous　communication.　Used　communication　sequence　process　(CSP)　to　descript　a　model　of　agents　communication　with　shared　buffer　channel.　The　essence　of　this　model　is　very　suitable　for　the　multi-agents　communication,　so　it　is　a　base　for　our　next　step　job.　Based　on　the　communication　model,　explored　the　distributed　tasks　dealing　method　among　joint　intention　agents　and　with　description　of　relation　between　tasks　we　give　a　figure　of　agents’　organization.　Agents　communicate　with　each　other　in　this　kind　of　organization.　The　semantics　of　agent　communication　is　another　emphasis　in　this　paper.　With　the　detailed　description　of　agents’　communication　process,　given　a　general　agent　automated　negotiation　protocol　based　on　speech　act　theory　in　MAS,　then　we　use　CSP　to　verify　this　protocol　has　properties　of　safety　and　liveness,　so　prove　it　is　logic　right.　At　last　a　frame　of　this　protocol’s　realization　was　given.　©　IFIP　International　Federation　for　Information　Processing　2005.