Darondeau, Philippe
Darondeau, Philippe, 19..-...., auteur en informatique
VIAF ID: 16939614 ( Personal )
Permalink: http://viaf.org/viaf/16939614
Preferred Forms
-
- 100 1 _ ‡a Darondeau, Philippe
-
-
-
- 100 1 _ ‡a Darondeau, Philippe
- 100 1 _ ‡a Darondeau, Philippe
-
- 100 1 _ ‡a Darondeau, Philippe, ‡d 19..-...., ‡c auteur en informatique
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
ALGEBRAIC AND COMBINATORIAL PROPERTIES OF REGIONS IN GRAPHS, AND THEIR APPLICATIONS TO THE SYNTHESIS OF NETS. | |
Applications and theory of Petri nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings | |
Causal trees | |
Context-free event domains are recognizable | |
Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages | |
Deriving unbounded petri nets from formal languages | |
Dualities between nets and automata induced by schyzophrenic objects | |
Electronic reproduction/Fourth International Conference on Application of Concurrency to System Design, c2004: | |
An Enlarged definition and complete axiomatization of observational congruence of finite processes | |
Infinitary languages and fully abstract models of fair asynchrony | |
INTERPRETATIONS FONCTORIELLES DES PROCESSUS | |
Logiques pour le contrôle d'automatismes discrets | |
Modelling dynamic agent systems with cooperating automata | |
A note on guarded recursion | |
On the Petri net realization of context-free graphs | |
Opacity enforcing control synthesis | |
Petri Net Synthesis | |
Polynomial algorithms for the synthesis of bounded nets | |
Processus cyclique et appel procédural | |
Proof systems for infinite behaviours = Comportements infinis et systemes de preuve | |
Propriétés algébriques et combinatoires des régions dans les graphes et leur application a la synthèse de réseaux | |
REPRESENTATIONS FINIES DE COMPORTEMENTS CONCURRENTS | |
Stratified petri nets | |
Structural operational specifications and trace automata | |
Supervisory control for opacity | |
Synthèse de contrôleurs sur des systèmes à évènements discrets structurés | |
Types et objets dans un système multi-langage |