Tabuti, L., & Melo, A. (2000). Especificação de um Protocolo de Comunicação Comercial em Join-Calculus. In Anais Estendidos do XIV Simpósio Brasileiro de Engenharia de Software, (pp. 35-38). Porto Alegre: SBC. doi:10.5753/sbes_estendido.2000.24201