Rozoy, Brigitte, 1948-....
Sénéchal, Brigitte (1948- ).
Rozoy-Sénéchal, Brigitte 1948-...
Sénéchal, Brigitte
VIAF ID: 49295248 ( Personal )
Permalink: http://viaf.org/viaf/49295248
Preferred Forms
- 100 1 _ ‡a Rozoy, Brigitte, ‡d 1948-....
- 200 _ | ‡a Rozoy-Sénéchal ‡b Brigitte ‡f 1948-....
- 100 1 _ ‡a Rozoy-Sénéchal, Brigitte ‡d 1948-...
-
- 100 1 _ ‡a Sénéchal, Brigitte, ‡d 1948-
-
- 100 1 _ ‡a Sénéchal, Brigitte
-
4xx's: Alternate Name Forms (16)
Works
Title | Sources |
---|---|
About two-way transducers | |
Actes de l'École d'été MOVEP'96 : Nantes : 18-21 juin 1996 | |
CATEGORIES OF MODELS FOR CONCURRENCY. | |
Collectif de défense des instituts de recherche sur l'enseignement des mathématiques. | |
Commutations sous contexte fiables | |
Context traces and transition systems | |
Distributed languages, a context dependant extension of traces | |
A distributed routing protocol | |
The dyck language Di* is not generated by any matrix grammar of finite index | |
Formalism for the high-level design of hard real-time embedded systems. | |
Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques | |
Géométrie classique et mathématiques modernes : support réel | |
Géométrie dans l'espace | |
Des graines dans la pelleteuse : Rencontres 2016 des luttes foncières | |
Graphs for generalized traces | |
Groupes et géométries, c1979: | |
Journées d'informatique théorique 1984 : Actes | |
de M.C. Escher aux... : ...dessins à motifs répétitifs | |
Marrella, a tool for simulation driven by events. | |
Marrella ou la simulation guidée par les structures d'évènements premières | |
UN MODELE DE PARALLELISME : LE MONOIDE DISTRIBUE | |
Modélisation et vérification des processus parallèles : MOVEP'98 | |
Observing self-stabilization. | |
Occurence preserving congruences and associated graphs | |
On achève bien les IREM : contribution à l'étude des hauts faits de la gent mathématicienne et professorale dans sa rage de vivre | |
On distributed languages and models for distributed computation | |
On the star operation in free partially commutative monoids | |
On traces, partial order set and recognizability | |
Optimisation du transfert de gène dans les lymphocytes T à l'aide de rétrovirus recombinants non réplicatifs | |
Outils et résultats pour les transducteurs boustrophédons | |
The Poset of infinitary traces | |
Possibility and impossibility of solutions for the distributed termination problem | |
Prime event structures and trace automata | |
Probabilistic algorithms for emergent distributed systems. | |
Spécification, modélisation et vérification d'une architecture multi-agents dédiée à la gestion des risques de collision automobile | |
Structural extensions of commutation traces. | |
Support multi-architectural : une approche générique et générative. | |
Théorie des langages et complexité des algorithmes : Journées d'Avignon (octobre 1983) | |
Tool for the efficient analysis of states graphs |