Automatic Refinement of Distributed Systems Specifications Using Program Transformations.

Antnio Carlos Lima de Santana, Antnio Francisco do Prado, Wanderley Lopes de Souza, Marcelo Sant'Anna

Browse the full COMPSAC paper archive.