Processus concurrents et combinatoire des structures croissantes : analyse quantitative et algorithmes de génération aléatoire
Un programme concurrent est composé de plusieurs unités logiques : les processus. Chaque processus a un comportement qui lui est propre : il exécute ses actions de façon séquentielle. Un objectif important est de s'assurer que de tels systèmes concurrents complexes soient cependant exempts de...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2017PA066210/document |