Normal view MARC view ISBD view

Application des langages infinitaires à l'étude du langage C.S.P. de C.A.R. HOARE [Texte imprimé] / Hugues Fauconnier

Auteur principal : Fauconnier, Hugues, AuteurAuteur secondaire collectivité : Université Paris Diderot - Paris 7, 1970-2019, Organisme de soutenanceLangue :de résumé, Français.Publication : [S.l.] : [s.n.], 1982Description : 1 vol. (235 p.) : ill. ; 30 cmRésumé : RAPPELS ET DEFINITIONS SUR LES LANGAGES INFINITAIRES. DESCRIPTION DU LANGAGE ET ENSEMBLE DES PARCOURS D'UN PROCESSUS. ENSEMBLE DES PARCOURS SYNCHRONISES. PARCOURS SYNCHRONISABLES. BLOCAGES, CENTRES ET EQUITES.Bibliographie: Bibliogr. 6 p..Thèse : .Sujet - Nom d'actualité : Parallélisme (informatique) -- Thèses et écrits académiques Sujet : COMMUNICATION ;SYNCHRONISATION ;PROCESSUS ;LANGAGE CSP ;LANGAGE FORMEL
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI1492 Sur demande

FRA . 1. LANGAGE INFINITAIRE (LANGAGE RATIONNEL,ADHERENCE, FERMETURE, FACTEUR GAUCHE FG) 2. RAPPELS SUR CSP 3. PARCOURS SYNCHRONISE 4. PARCOURS SYNCHRONISABLE 5. BLOCAGES ET EQUITES

Bibliogr. 6 p.

Thèse de 3e cycle Mathématiques Paris 7 1982

RAPPELS ET DEFINITIONS SUR LES LANGAGES INFINITAIRES. DESCRIPTION DU LANGAGE ET ENSEMBLE DES PARCOURS D'UN PROCESSUS. ENSEMBLE DES PARCOURS SYNCHRONISES. PARCOURS SYNCHRONISABLES. BLOCAGES, CENTRES ET EQUITES

Powered by Koha