Andrés Farías

According to our database, Andrés Farías authored at least 2 papers between 2002 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

On the coherence of component protocols.

Andrés Farías, Yann-Gaël Guéhéneuc

Proceedings of the 2003 Workshop on Software Composition, 2003

2002

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

Andrés Farías, Mario Südholt

Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002