Automatic Implementation of Distributed Systems Formal Specifications.

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

Browse the full PDPTA paper archive.