From distributed algorithms to OCCAM programs by successive refinements

Journal of Systems and Software - Tập 26 - Trang 257-272 - 1994
Valmir C. Barbosa1, Lúcia Maria de A. Drummond1, Astrid Luise H. Hellmuth1
1Programa de Engenharia de Sistemas e Computação, COPPE, Universidade Federal do Rio de Janeiro, Rio de Janeiro, Brazil

Tài liệu tham khảo