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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.