xvii Résumé (in French) xix Synthèse (in French) xxi Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xxi Typage du flux d’information sûr . . . . . . . . . . . . . . . . . . xxi Problèmes abordés . . . . . . . . . . . . . . . . . . . . . . . . . . xxii Contributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xxiv Contenu de la thèse . . . . . . . . . ...

la présente recherche comprend une étude contrastive du présent de l'indicatif dans les langues française et persane. l'importance de ce sujet, du piont de vue des différences sémantiques et fonctionnelles de ce temps dans les deux langues et aussi l'influence de ces différences sur la compréhension ou la traduction des textes chez les apprenants iraniens paraît indéniable. nous identifierons d...

We address the question of typing noninterference (NI) in Milner’s Calculus of Communicating Systems (CCS), in such a way that Milner’s translation of a standard parallel imperative language into CCS preserves both an existing NI property and the associated type system. Recently, Focardi, Rossi and Sabelfeld have shown that a variant of Milner’s translation, restricted to the sequential fragmen...

la présente recherche comprend une étude contrastive du présent de l'indicatif dans les langues française et persane. l'importance de ce sujet, du piont de vue des différences sémantiques et fonctionnelles de ce temps dans les deux langues et aussi l'influence de ces différences sur la compréhension ou la traduction des textes chez les apprenants iraniens paraît indéniable. nous ...