BARBOSA, Raquel M.; 						COSTA, Antônio C. R.; 						TEDESCO, Patrícia C. A. R.; 						MOTA, Alexandre C..
 Use of CSP in the Formal Specification of the Micro-Organizational Level of Multi-Agent Systems (MAS). <em>In</em>: WORKSHOP-SCHOOL ON AGENTS, ENVIRONMENTS, AND APPLICATIONS (WESAAC), 4.	, 2010, Rio Grande/RS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2010
.
 p. 13-21. 
			ISSN 2326-5434. 
		DOI: <a href="https://doi.org/10.5753/wesaac.2010.33049">https://doi.org/10.5753/wesaac.2010.33049</a>.