Dans cette thèse, nous étudions les systèmes de transitions asynchrones en tant que modèles pour la sémantique des systèmes réactifs. Les systèmes de transitions asynchrones (STA) de Shields et Bednarczyk, sont une généralisation des systèmes de transitions (ST) et des structures d'événements stables (SE). Tout d'abord nous définissons l'opération de raffinement d'actions sur les STA, qui permet de relier entre elles les descriptions d'un système a différents niveaux d'abstraction. Ensuite, nous proposons des équivalences sémantiques sur les STA et nous étudions leur compatibilité avec l'opération de raffinement. Enfin, nous relions notre cadre avec celui de la théorie des sémantiques opérationnelles structurées (SOS) de Plotkin
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00343639 |
| Date | 14 June 1993 |
| Creators | Echagüe Zappettini, Juan Vicente |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0021 seconds