TABUTI, Lucy Mari; MELO, Ana Cristina V.. Especificação de um Protocolo de Comunicação Comercial em Join-Calculus. In: WORKSHOP DE TESES E DISSERTAÇÕES EM ENGENHARIA DE SOFTWARE - SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 14. , 2000, João Pessoa/PB. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2000 . p. 35-38. DOI: https://doi.org/10.5753/sbes_estendido.2000.24201.