Automatic Implementation of Distributed Systems Formal Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Antônio Carlos Lima de Santana' in GoogleThis author has not been identified. Look up 'Luiz Henrique Castelo Branco' in GoogleThis author has not been identified. Look up 'Antônio Francisco do Prado' in GoogleThis author has not been identified. Look up 'Wanderley Lopes de Souza' in GoogleThis author has not been identified. Look up 'Marcelo Sant Anna' in Google

runs on WebDSL