LANGAGES CONCURRENTS AVEC CONTRAINTES : COMMUNICATION PAR MESSAGES ET DISTRIBUTION
NOUS PROPOSONS UN MODELE DE CALCUL CONCURRENT PAR CONTRAINTES DISTRIBUE DONT LE MECANISME DE CALCUL LOCAL EST UN LANGAGE CONCURRENT AVEC CONTRAINTES (CC) ET DONT LA COMMUNICATION INTER SITES S'EFFECTUE PAR MESSAGES. LES CANAUX DE COMMUNICATION SONT DES VARIABLES (LOGIQUES) DU SYSTEME DE CONTRAI...
Gorde:
| Egile nagusia: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Thèse et Mémoire papier |
| Hizkuntza: | Français |
| Argitaratua: |
[S.l.] :
[s.n.]
1997.
|
| Gaiak: | |
| Oharra: |
1997ORLE2023 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | CONCURRENT CONSTRAINT LANGUAGES :, MESSAGE-BASED COMMUNICATION AND DISTRIBUTION |
| LEADER | 02113nam a22002657a 4500 | ||
|---|---|---|---|
| 001 | 197296 | ||
| 008 | 990313s1997 xx|||||| |||| 00| 0 fre d | ||
| 009 | PPN043707807 | ||
| 041 | 0 | |a fre |b fre | |
| 084 | |a 001.D.02.A.02 | ||
| 084 | |a 620 | ||
| 100 | 1 | |a Réty, Jean-Hugues. | |
| 240 | 1 | 0 | |a CONCURRENT CONSTRAINT LANGUAGES : |b MESSAGE-BASED COMMUNICATION AND DISTRIBUTION |
| 245 | 1 | 0 | |a LANGAGES CONCURRENTS AVEC CONTRAINTES : |b COMMUNICATION PAR MESSAGES ET DISTRIBUTION |c JEAN-HUGUES RETY ; SOUS LA DIRECTION DE PHILIPPE CODOGNET. |
| 260 | |a [S.l.] : |b [s.n.], |c 1997. | ||
| 300 | |a 146 P. | ||
| 500 | |a 1997ORLE2023 | ||
| 502 | |a Thèse de doctorat. Sciences appliquées. Orléans. 1997 | ||
| 504 | |a 85 REF. | ||
| 520 | |a NOUS PROPOSONS UN MODELE DE CALCUL CONCURRENT PAR CONTRAINTES DISTRIBUE DONT LE MECANISME DE CALCUL LOCAL EST UN LANGAGE CONCURRENT AVEC CONTRAINTES (CC) ET DONT LA COMMUNICATION INTER SITES S'EFFECTUE PAR MESSAGES. LES CANAUX DE COMMUNICATION SONT DES VARIABLES (LOGIQUES) DU SYSTEME DE CONTRAINTES, AUSSI BIEN AU NIVEAU LOCAL (COMMUNICATION ASK/TELL DES CC) QU'AU NIVEAU GLOBAL (COMMUNICATION PAR MESSAGES). LES CONTRAINTES PERMETTENT UNE MODELISATION LOGIQUE DE LA COMMUNICATION PAR MESSAGES, CETTE DERNIERE S'INTEGRANT DE MANIERE TRES HOMOGENE DANS LES CC. CE MECANISME DE COMMUNICATION EST PROCHE DE CELUI DU PI-CALCUL DE MILNER, PARROW ET WALKER DANS SA VERSION ASYNCHRONE. NOUS DEFINISSONS UNE RELATION DE BISIMILARITE SUR LE LANGAGE PROPOSE ET DONNONS UN ENCODAGE DU PI-CALCUL QUI EST PROUVE ETRE COMPLETEMENT ADEQUAT. | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Codognet, Philippe, |d 1963- |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 787 | 0 | 8 | |i Reproduced as: |0 069604029 |t Langages concurrents avec contraintes |o communication par messages et distribution |f par Jean-Hugues Réty |c [Le Chesnay] |n [INRIA] |d [1997] |p 146 p. |z 2-7261-1065-7 |
| 997 | |0 197296 |1 Thèse et Mémoire papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1997-23 |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1997-23b | ||