Protocoles pour le rendez-vous et l'équité
Nous étudions la mise en œuvre du rendez-vous multiprocessus et de l'équité dans les langages du type csp généralise. Nous proposons une methode de construction des protocoles. Cette methode consiste a mettre en œuvre ces protocoles a partir d'un schéma de protocole, c'est-a-dire un p...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1992
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00342103 http://tel.archives-ouvertes.fr/docs/00/34/21/03/PDF/Pandolfi.Xavier_1992_these.pdf |