Antônio Carlos Lima de Santana

According to our database, Antônio Carlos Lima de Santana authored at least 3 papers between 1998 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters.

Adenilso da Silva Simão, Auri Marcelo Rizzo Vincenzi, Antônio Carlos Lima de Santana

CLEI Electron. J., 2003

1999

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

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998

Automatic Refinement of Distributed Systems Specifications Using Program Transformations.

Antônio Carlos Lima de Santana, Antônio Francisco do Prado, Wanderley Lopes de Souza, Marcelo Sant'Anna

Proceedings of the COMPSAC '98, 1998