2003 | ||
---|---|---|
2 | EE | Andrés Farías, Yann-Gaël Guéhéneuc: On the coherence of component protocols. Electr. Notes Theor. Comput. Sci. 82(5): (2003) |
2002 | ||
1 | EE | Andrés Farías, Mario Südholt: On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction. CoopIS/DOA/ODBASE 2002: 995-1012 |
1 | Yann-Gaël Guéhéneuc | [2] |
2 | Mario Südholt | [1] |