Automatic Implementation of Distributed Systems Formal Specifications

Antônio Carlos Lima de Santana, Luiz Henrique Castelo Branco, Antônio Francisco do Prado, Wanderley Lopes de Souza, Marcelo Sant Anna. Automatic Implementation of Distributed Systems Formal Specifications. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, USA. pages 1424-1429, CSREA Press, 1999.

Abstract

Abstract is missing.