Lucy Mari Tabuti, Ana Cristina Vieira de Melo. Especificação de um Protocolo de Comunicação Comercial em Join-Calculus. In José Carlos Maldonado, editor, Companion Proceedings of the 14th Brazilian Symposium on Software Engineering, SBES 2000, João Pessoa, PB, Brazil, October 4-6, 2000. pages 35-38, SBC, 2000. [doi]
Abstract is missing.