VIAF

Virtual International Authority File

Search

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

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

VIAF ID: 48223988 (Personal)

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

ISNI-test: 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
ALGORITHMIQUE ET COMPLEXITE DISTRIBUEES : APPLICATIONS A QUELQUES PROBLEMES FONDAMENTAUX DE COMPLEXITE, PROTOCOLES DISTRIBUES A CONSENSUS, INFORMATION GLOBALE, PROBLEMES DISTRIBUES D'ELECTION ET DE ROUTAGE 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'algorithmique parallèle et distribuée : application à l'optimisation combinatoire Sudoc [ABES], France
Déploiement multiplateforme d'applications multitâche par la modélisation Sudoc [ABES], France
LES ENSEMBLES PARTIELLEMENT ORDONNES ET LA SEMANTIQUE DES SYSTEMES PARALLELES 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
GESTION DYNAMIQUE DES PROCESSUS SUR UN RESEAU DE PROCESSEURS Sudoc [ABES], France
INDE : UN SYSTEME DE DETECTION D'INCONSISTANCES ET D'INCOMPLETUDES 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
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 MODELE DES SYSTEMES DE CONTROLE DE SECURITE CONTRIBUTION A UNE THEORIE DU CALCUL BRUITE Sudoc [ABES], France
MODELISATION ET VALIDATION D'APPLICATIONS TEMPS REEL DISTRIBUEES Sudoc [ABES], France
Non-hierarchical heterogeneous modeling Sudoc [ABES], France
Object execution model for reactive modules with a C++ implementation Sudoc [ABES], France
˜L'œoption informatique en classes prépas Sudoc [ABES], France National Library of France
Les protocoles de communication dans un système d'exploitation réparti Sudoc [ABES], France
RATIONALITE ET DETERMINISME DANS LES RESEAUX DE PETRI Sudoc [ABES], France
The reachability problem for Petri nets. 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 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19 - 21, 1987, proceedings Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France
STRUCTURATION DES SYSTEMES DE TRANSITIONS-APPLICATIONS AU CONTROLE DU PARALLELISME PAR FILES FIFO 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
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 (20)