Antônio Carlos Lima de Santana

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2003
A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters.
CLEI Electron. J., 2003

1999
Automatic Implementation of Distributed Systems Formal Specifications.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998
Automatic Refinement of Distributed Systems Specifications Using Program Transformations.
Proceedings of the COMPSAC '98, 1998


  Loading...