Tabuti, L., & 		Melo, A.
2000 out  4.  Especificação de um Protocolo de Comunicação Comercial em Join-Calculus. Anais Estendidos do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :