VIAF

Virtual International Authority File

Search

Vidal-Naquet, Guy Sudoc [ABES], France German National Library National Library of France

Vidal-Naquet, G. ISNI Library of Congress/NACO NUKAT Center of Warsaw University Library

VIAF ID: 48223988 (Personal)

Permalink: http://viaf.org/viaf/48223988

ISNI: 0000  0001  1636  7577 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (5)

Open Section Close SectionWorks

Title Sources
Algebraic model based on the Petri nets for parallel systems study. Sudoc [ABES], France
Algorithmic analysis of Petri nets : verification of home spaces, using of rewriting systems. Sudoc [ABES], France
Analyse algorithmique des réseaux de Petri vérification d'espace d'accueil, usage des systèmes de réécriture Sudoc [ABES], France
ANALYSE COMPORTEMENTALE DE SYSTEMES COMPLEXES CRITIQUES PAR PRODUIT SYNCHRONISE D'ABSTRACTIONS EN RESEAUX DE PETRI ORDINAIRES D'AGENTS TEMPS-REEL Sudoc [ABES], France
Analysis and properties of processes communicating by fifos topologically free choice fifo nets and linear fifo nets. Sudoc [ABES], France
Composition automatique des services Web sémantiques avec prise en compte des contraintes utilisateur Sudoc [ABES], France
Composition of models for the multi-paradigm modeling of the behavior of systems. Sudoc [ABES], France
CONCEPTION ET REALISATION D'OUTILS D'AIDE A LA PROGRAMMATION SUR RESEAUX DE TRANSPUTERS Sudoc [ABES], France
Contribution à l'étude des graphes cubiques et des graphes gracieux Sudoc [ABES], France
Contribution to parallel and distributed algorithms : application to the combinatorial optimization. Sudoc [ABES], France
A contribution to the study of cubic graphs and graceful graphs. Sudoc [ABES], France
Contrôle de sérialisabilité dans des systèmes de transactions parallèles Sudoc [ABES], France
Déploiement multiplateforme d'applications multitâche par la modélisation Sudoc [ABES], France
Distributed algorithmics and complexity applied to some complexity fondamental problems. Sudoc [ABES], France
Les ensembles partiellement ordonnés et la sémantique des systèmes parallèles Sudoc [ABES], France
Etude de l'analyse automatique des règles de conception des systèmes multitâches temps réel Sudoc [ABES], France
Formalism for the high-level design of hard real-time embedded systems. Sudoc [ABES], France
Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques Sudoc [ABES], France
Généralisation en apprentissage à partir d'exemples Sudoc [ABES], France
Generalization in machine leaving from examples. Sudoc [ABES], France
GESTION DYNAMIQUE DES PROCESSUS SUR UN RESEAU DE PROCESSEURS Sudoc [ABES], France
GRAFFITI : an interactive graphic tool for she design of flexible man-machine interfaces. Sudoc [ABES], France
GRAFFITI un outil interactif et graphique pour la construction d'interfaces homme-machine adaptables Sudoc [ABES], France
INDE : an inconsistency and incompleteness detection system of knowledge based systems. Sudoc [ABES], France
INDE : un système de détection d'inconsistances et d'incomplétudes dans les bases de connaissances Sudoc [ABES], France
Intégration de modules synchrones dans la programmation orientée objet Sudoc [ABES], France
Intégration de systèmes hétérogènes en termes de niveaux de sécurité Sudoc [ABES], France
Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel Sudoc [ABES], France
Integration of semantics elements in the schedulability analysis of real-time applications. Sudoc [ABES], France
Introduction of parallelism in object oriented languages. Sudoc [ABES], France
Le Langage Pascal Sudoc [ABES], France
Long cycles in graphs : applications to Petri nets. Sudoc [ABES], France
Méthodologie pour un processus d’analyse temporelle dirigé par les modèles pour les systèmes automobiles. Sudoc [ABES], France
Methodology for a Model-based Timing Analysis Process for Automotive Systems Sudoc [ABES], France
Methods study of domain-polymorph components design. Sudoc [ABES], France
Un modèle algébrique, basé sur les réseaux de Petri, pour l'étude des systèmes parallèles Sudoc [ABES], France
Un MODELE DES SYSTEMES DE CONTROLE DE SECURITE CONTRIBUTION A UNE THEORIE DU CALCUL BRUITE Sudoc [ABES], France
Modélisation des réseaux d'interconnexion multi-étages Sudoc [ABES], France
MODELISATION ET VALIDATION D'APPLICATIONS TEMPS REEL DISTRIBUEES Sudoc [ABES], France
Multistage interconnection networks modeling. Sudoc [ABES], France
Non-hierarchical heterogeneous modeling Sudoc [ABES], France
Object execution model for reactive modules with a C++ implementation Sudoc [ABES], France
option informatique en classes prépas Sudoc [ABES], France National Library of France
Partially ordered reti and the semantics of concurrent systems. Sudoc [ABES], France
Les protocoles de communication dans un système d'exploitation réparti Sudoc [ABES], France
PSILISP, un modèle d'interprétation parallèle de programmes LISP Sudoc [ABES], France
RATIONALITE ET DETERMINISME DANS LES RESEAUX DE PETRI Sudoc [ABES], France
The reachability problem for Petri nets. Sudoc [ABES], France
Réarrangement relatif propriétés et applications aux équations aux dérivés partielles ; Les réseaux de Pétri Sudoc [ABES], France
Réseaux de Petri et systèmes parallèles / Guy Vidal-Naquet, Annie Choquet-Geniet, 1992 Sudoc [ABES], France National Library of France
RESEAUX ET LOGIQUE Sudoc [ABES], France
SEMANTIQUE ET VALIDATION DES LANGAGES D'ACTEURS A L'AIDE DES RESEAUX DE PETRI COLORES Sudoc [ABES], France
STACS 86 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library
Structuration of transition systems : applications to the control of parallelism by fifo channels. Sudoc [ABES], France
Study, design and realization of a fault-tolerant and predictable synchronous communication protocol on off-the-shelf components. Sudoc [ABES], France
Study of the automatic analysis of multitask real-time systems design rules. Sudoc [ABES], France
Sym. on Theor. Asp. of Comp. Sci. (4th : 1987 : Passau, Germany). STACS 87, c1987: Library of Congress/NACO
Transmission protocols in a distributed operating system. Sudoc [ABES], France
UTILISATION DU PARADIGME ACTEUR POUR LE CALCUL PARALLELE Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

Open Section Close Section About

Open Section Close Section History of VIAF ID:48223988 (10)