Systèmes de transitions finis et sémantique des processus communicants [ Livre] / Arnold André
Langue: Français.Publication : Masson, 1992Description : XII-196 p.ISBN: 222582746X.Collection: Études et recherches en informatiqueClassification: F Informatique théoriqueRésumé: Sommaire 1. Introduction 2. Les systèmes de transitions 3. Le produit synchronisé de systèmes de transitions 4. Les logiques des systèmes de transitions 5. La vérification des propriétés des systèmes de transitions 6. Points fixes dans les systèmes de transitions 7. L'indiscernabilité dans les systèmes de transitions 8. Les équivalences de systèmes de transitions 9. L'observation des systèmes de transitions.Sujet - Nom commun: Simulation par ordinateur | Processus communicant | Parallélisme (informatique) | Parallélisme | Machines séquentielles, Théorie des | Logique temporelle | Logique symbolique et mathématique | Langages formels | Langages de programmation | Informatique | Automates mathématiques, Théorie desCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Magasin (archives) | F ARN (Browse shelf) | Available | F Informatique théorique | 00001320 |
Sommaire
1. Introduction
2. Les systèmes de transitions
3. Le produit synchronisé de systèmes de transitions
4. Les logiques des systèmes de transitions
5. La vérification des propriétés des systèmes de transitions
6. Points fixes dans les systèmes de transitions
7. L'indiscernabilité dans les systèmes de transitions
8. Les équivalences de systèmes de transitions
9. L'observation des systèmes de transitions