Gastin, Paul, 1959-....
Gastin, Paul.
Gastin, P.
VIAF ID: 311412421 ( Personal )
Permalink: http://viaf.org/viaf/311412421
Preferred Forms
- 200 _ | ‡a Gastin ‡b Paul ‡f 1959-....
-
-
- 100 1 _ ‡a Gastin, Paul
-
-
- 100 1 _ ‡a Gastin, Paul
- 100 1 _ ‡a Gastin, Paul, ‡d 1959-...
- 100 1 _ ‡a Gastin, Paul, ‡d 1959-....
-
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Büchi (asynchronous) automata for infinite traces | |
Concur 2010 - concurrency theory, c2010: | |
Cours et exercices d'informatique : classes préparatoires, 1er et 2nd cycles universitaires | |
Decidability of the star problem in A*x(b)* | |
Expressivité de la logique du premier ordre, de la logique dynamique propositionnelle sans étoile et des automates communicants | |
Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata. | |
A kleene theorem for infinite trace languages | |
Logics for timed systems : control and expressivity. | |
Logiques pour les systèmes temporisés : contrôle et expressivité | |
Modèle distribué | |
MODELIZATION OF PARALLELISM BY CONGRUENCES AND PARTIAL ORDERS. | |
On the subject of automata : random generation and contribution to some extensions. | |
Optimized diagnosability of distributed discrete event systems through abstraction | |
The poset of infinitary traces | |
Poset properties of complex traces | |
Recognizable complex trace languages | |
Selected papers of the Workshop on Topology and Completion in Semantics, Chartres, France, 18-20 November 1993 / guest ed. P. Gastin, J. J. M. M. Rutten. - Amsterdam, 1995. | |
Une sémantique vraiment concurrente pour processus partageant des ressources quantifiées. | |
Spécification et vérification de propriétés quantitatives : expressions, logiques et automates. | |
Sur les problèmes de décision concernant les transducteurs de mots avec la sémantique d'origine. | |
Using abstraction to model and verify distributed systems used in cellular networks. | |
Utilisation des automates alternants pour un model-checking efficace des logiques temporelles linéaires | |
Vérification de programmes récursifs et communicants via split-width. | |
Vérification et spécification des systèmes distribués |