Algèbres de Processus Réversibles
Nous présentons un système de retour arrière distribué basé sur le Calcul des Systèmes Communicants de Robin Milner. L'algèbre de pro- cessus réversible ainsi définie (RCCS) nous permet de poser les fondements théoriques du retour arrière dans un calcul concurrent. En particulier, é...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Pierre et Marie Curie - Paris VI
2006
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00519528 http://tel.archives-ouvertes.fr/docs/00/51/95/28/PDF/phd-1.pdf |