Bisimulations dans les calculs avec passivation
Les calculs de processus représentent les systèmes concurrents par des processus qui s'exécutent en parallèle et s'échangent des messages. Les calculs avec passivation dispose d'un opérateur spécial qui permet de stopper un processus en cours d'exécution. Le processus suspendu pe...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00447857 http://tel.archives-ouvertes.fr/docs/00/44/78/57/PDF/these.pdf |