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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Thèse et Mémoire papier |
| Jazyk: | Français |
| Vydáno: |
[S.l.] :
[s.n.]
1997.
|
| Témata: | |
| Poznámka: |
1997ORLE2023 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | CONCURRENT CONSTRAINT LANGUAGES :, MESSAGE-BASED COMMUNICATION AND DISTRIBUTION |
| Shrnutí: | 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. |
|---|---|
| Popis jednotky: | 1997ORLE2023 |
| Fyzický popis: | 146 P. |
| Bibliografie: | 85 REF. |