ESTELLE: un langage ISO pour les algorithmes distribues et les protocoles

Communication dans les reseaux de processeurs et complexite des algorithmes

Cosnard, Michel
Daoudi, M.
Tourancheau, B.
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)

January 1986

SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Langages matriciels et principalite

Ferment, Didier

January 1984

SIGLECNRS T 56764 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Langage FDT de description pour algorithmes distribues defini a l'ISO et au CCITT (and the english equivalent)

Centre National d'Etudes des Telecommunications, Lannion A, Division Structures et Logiciels pour la Commutation Lannion (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une semantique du langage ESTEREL

Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Centre de Sophia Antipolis

January 1986

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

The Esterel language

Boussinot, Frederic
De Simone, Robert
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 ...

Tailored protocol development using ESTEREL

Castellucia, C.
Chrisment, I.
de Simone, R.
Siegel, E.
Huitema, C.
Diot, C.
Dabbous, W.
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1994

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet ROD...

Vers une problematique de l'algorithmique repartie

Helary, Jean-Michel
Raynal, Michel
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA).
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une approche grammaticale de la programmation en logique

Maluszynski, Jan
Deransart, Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

CNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Un formalisme pour la specification de langages discontinus et a ordre libre

Robin, Sophie
Courant, Michele
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1986

SIGLECNRS 14802E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Langages algebriques deterministes et transversale rationnelle

Benois, M.
Butzbach, P.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Grenoble-1 Univ., 38 (France)
Institut National Polytechnique de Grenoble, 38 (France)
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. des Structures Discretes

January 1984

SIGLECNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Quelques elements d'un langage de construction de specifications

Souquieres, Jeannine
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Taille des messages et quantite d'information dans les algorithmes distribues

Lavault, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), Domaine de Voluceau-Rocquencourt, 78 - Le Chesnay (France)

January 1986

SIGLECNRS 14802E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Programme de recherches coordonnees: informatique linguistique

Paris-7 Univ., 75 (France). Lab. d'Automatique Documentaire et Linguistique
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1987

SIGLECNRS AR 12735 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Langage de programmation du processeur de signal

Donzelle, L.O
Centre National d'Etudes des Telecommunications, Grenoble, Conception des Circuits Integres Grenoble (FRANCE)

January 1982

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude, extension et implementation de Manens : un langage applicatif pour la manipulation des ensembles dans le cadre de la theorie des algorithmes

Lacrampe, Jean-Jacques

January 1985

SIGLECNRS T 58171 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Communication dans les reseaux de processeurs et complexite des algorithmes

Cosnard, Michel
Daoudi, M.
Tourancheau, B.
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)

January 1986

SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Langages matriciels et principalite

Ferment, Didier

January 1984

SIGLECNRS T 56764 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Langage FDT de description pour algorithmes distribues defini a l'ISO et au CCITT (and the english equivalent)

Centre National d'Etudes des Telecommunications, Lannion A, Division Structures et Logiciels pour la Commutation Lannion (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une semantique du langage ESTEREL

Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Centre de Sophia Antipolis

January 1986

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

The Esterel language

Boussinot, Frederic
De Simone, Robert
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 ...

Tailored protocol development using ESTEREL

Castellucia, C.
Chrisment, I.
de Simone, R.
Siegel, E.
Huitema, C.
Diot, C.
Dabbous, W.
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1994

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet ROD...

Vers une problematique de l'algorithmique repartie

Helary, Jean-Michel
Raynal, Michel
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA).
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une approche grammaticale de la programmation en logique

Maluszynski, Jan
Deransart, Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

CNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Un formalisme pour la specification de langages discontinus et a ordre libre

Robin, Sophie
Courant, Michele
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1986

SIGLECNRS 14802E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Langages algebriques deterministes et transversale rationnelle

Benois, M.
Butzbach, P.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Grenoble-1 Univ., 38 (France)
Institut National Polytechnique de Grenoble, 38 (France)
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. des Structures Discretes

January 1984

SIGLECNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Quelques elements d'un langage de construction de specifications

Souquieres, Jeannine
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Taille des messages et quantite d'information dans les algorithmes distribues

Lavault, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), Domaine de Voluceau-Rocquencourt, 78 - Le Chesnay (France)

January 1986

SIGLECNRS 14802E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Programme de recherches coordonnees: informatique linguistique

Paris-7 Univ., 75 (France). Lab. d'Automatique Documentaire et Linguistique
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1987

SIGLECNRS AR 12735 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Langage de programmation du processeur de signal

Donzelle, L.O
Centre National d'Etudes des Telecommunications, Grenoble, Conception des Circuits Integres Grenoble (FRANCE)

January 1982

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude, extension et implementation de Manens : un langage applicatif pour la manipulation des ensembles dans le cadre de la theorie des algorithmes

Lacrampe, Jean-Jacques

January 1985

SIGLECNRS T 58171 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Communication dans les reseaux de processeurs et complexite des algorithmes

Cosnard, Michel
Daoudi, M.
Tourancheau, B.
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)

January 1986

SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Langages matriciels et principalite

Ferment, Didier

January 1984

SIGLECNRS T 56764 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Langage FDT de description pour algorithmes distribues defini a l'ISO et au CCITT (and the english equivalent)

Centre National d'Etudes des Telecommunications, Lannion A, Division Structures et Logiciels pour la Commutation Lannion (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

ESTELLE: un langage ISO pour les algorithmes distribues et les protocoles

Abstract

Extracted data

ESTELLE: un langage ISO pour les algorithmes distribues et les protocoles

Abstract

Extracted data

Related items

Related items