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 des
Current 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

Powered by Koha