Université Lille1 - Sciences et Technologies Mots infinis et processus : objets infinitaires et topologie Infinite words and process infinitary obects and topology 005.13 Processus infinis Langages de programmation Sémantique Langages formels Text Electronic Thesis or Dissertation fr Etude dans une première partie des langages infinitaires, le but étant l'étude du comportement des processus. puis on étudie les propriétés des langages introduits par M. Nivat, qui formalisent les notions usuelles liées aux processus, l'ensemble des mots étant d'abord muni d'une structure d'espace ordonné et métrique application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1983/50376-1983-291.pdf Tison Sophie 1900-01-01 080475205 1983-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui ddc:000 ASCII PDF 9999