1. COATI Project; I3S (CNRS/UNSA) & INRIA; 2004 route des Lucioles BP 93 06902 Sophia-Antipolis Cedex France
2. ParGO, Department of Computer Science; UFC, Campus do Pici; Bloco 910 60455760 - Fortaleza CE Brazil
3. Department of Mathematics; Simon Fraser University; Burnaby B.C. V5A 1S6 Canada