RAIRO - Theoretical Informatics and Applications