Andrés Farías

On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction

Mario Südholt, Andrés Farías, 2002, CoopIS/DOA/ODBASE.

On the coherence of component protocols

Yann-Gaël Guéhéneuc, Andrés Farías, 2003, Electron. Notes Theor. Comput. Sci..