Développement prouvé de structures de données sans verrou
Le sujet central de cette thèse est le développement d'une méthode dédiée à la preuve de structures de données sans verrou. La motivation première vient du constat que les programmes concurrents sont devenu monnaie courante. Ceci a été possible par l'apparition de nouvelles primitives de s...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2009NAN10022/document |