Automatic Implementation of Distributed Systems Formal Specifications

Luiz Henrique Castelo Branco, Antônio Francisco do Prado, Wanderley Lopes de Souza, Marcelo Sant Anna. Automatic Implementation of Distributed Systems Formal Specifications. In José D. P. Rolim, editor, Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings. Volume 1800 of Lecture Notes in Computer Science, pages 1019-1026, Springer, 2000. [doi]

Abstract

Abstract is missing.