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...
Enregistré dans:
| Auteur principal: | Réty, Jean-Hugues |
|---|---|
| Autres auteurs: | Codognet, Philippe, 1963- (Directeur de thèse) |
| Format: | Thèse et Mémoire papier |
| Langue: | Français |
| Publié: |
[S.l.] :
[s.n.]
1997.
|
| Sujets: | |
| Note: |
1997ORLE2023 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | CONCURRENT CONSTRAINT LANGUAGES :, MESSAGE-BASED COMMUNICATION AND DISTRIBUTION |
Documents similaires
-
Essais sur la concurrence imparfaite avec contraintes financières
(Thèse et Mémoire papier)
Faure-Grimaud, Antoine, 1968-2009
[s.n.], 1995 -
Contribution à la validation de programmes concurrents avec contraintes
(Thèse et Mémoire papier)
Chambre, Pascal
[Éditeur inconnu], 1997 -
CONTRAINTES ENSEMBLISTES ET SPECIFICATIONS FORMELLES
(Thèse et Mémoire papier)
Tellez Arenas, Agnès
[s.n.], 1999 -
APPROCHE, EN TERMES DE SQUELETTES DE PREUVE, DE LA SEMANTIQUE ET DU DIAGNOSTIC DECLARATIF D'ERREUR DES PROGRAMMES LOGIQUES AVEC CONTRAINTES
(Thèse et Mémoire papier)
Tessier, Alexandre, 19..-...., enseignant-chercheur en informatique
[s.n.], 1997 -
UNIFICATION GENERALE PAR SURREDUCTION ORDONNEE CONTRAINTE ET SURREDUCTION DIRIGEE
(Thèse et Mémoire papier)
Chabin, Jacques, 19..-
[s.n.], 1994