RISO, B. G.; http://lattes.cnpq.br/8131539079449274; RISO, Bernardo Gonçalves. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGUniversidade Federal de Campina Grande, 1991-10-13)
This work proposes an approach, based on specification styles and using the "Calculus of Communicating Systems (CCS)" algebra, for the design of distributed systems and communication protocols. Initially, the power of ...