Lucy Tabuti and Ana Melo. 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, outubro 04, 2000, João Pessoa/PB, Brasil. SBC, Porto Alegre, Brasil, 35-38. DOI: https://doi.org/10.5753/sbes_estendido.2000.24201.