Sandie Balaguer
IdRefMots clés
FR |
EN
Systèmes temps-réel distribués
Ordres partiels
Réseaux d'automates temporisés
Réseaux de Petri temporels
Systèmes de transitions temporisés
Horloges partagées
Implantation sur architecture distribuée
Équivalence de comportement pour systèmes distribués
Dépliages
Caractérisation logique d'un ensemble d'exécutions
Concurrence
Temps réel (informatique)
Traitement réparti
Petri, Réseaux de
Théorie des automates mathématiques