Barbosa, R., 		Costa, A., 		Tedesco, P., & 		Mota, A.
(2010).
 Use of CSP in the Formal Specification of the Micro-Organizational Level of Multi-Agent Systems (MAS).
In <em>Proceedings of the 4th Workshop-School on Agents, Environments, and Applications</em>, (pp. 13-21). Porto Alegre: SBC.
doi:10.5753/wesaac.2010.33049