Derivation of communicating process from equation systems

Regularite Gevrey des solutions de l'equation de Monge-Ampere reelle

Jallouli Kallel, Saoussen

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 77703 / INIST-CNRS -...

Using software process modelling to support consistent cooperation and competition of software engineering activities

Godart, C.
Canals, G.
Lonchamp, J.
Molli, P.
Derniame, J.C.
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11369 ...

Systemes de processus communicants et interpretation parallele de langages fonctionnels

Gamatie, BOUBAKAR
Institut National de Recherche en Informatique et en Automatique, Centre de Rennes Rennes (FRANCE)

January 1984

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

Translating equational systems into communicating processes

Eglin, Marie-Christine
Julliand, Jacques
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

Communication a : ISMM International workshop on parallel computing, Trani, Italy, september 1991SIG...

Derivation de processus communicants: regles et raffinement et applications

Damy Chanudet, Sylvie

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 80719 / INIST-CNRS -...

Resolution d'un systeme d'equations de relation floue, contribution a l'identification de systemes complexes

Dubois, Gilbert

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81729 / INIST-CNRS -...

Reflexions sur le choix d'architectures de communication dans les systemes automatises de production

Mammeri, Zoubir
Thomesse, Jean-Pierre
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

Publie dans : Actes seminaire de mecanique et productique, Chalons-sur-Marne, decembre 1991Available...

Modele de structuration des communications dans les systemes automatises de production

Mammeri, Zoubir
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

Publie dans : Actes seminaire de mecanique et productique, Cluny, decembre 1991Available at INIST (F...

Resolution d'equations intervenant dans les constructions parasismiques

Benazzouz, Hana

January 1990

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 77920 / INIST-CNRS -...

Un procede de discretisation des equations d'ondes en frequence

Depres, B.
CEA Centre d'Etudes de Limeil-Valenton, 94 - Villeneuve-Saint-Georges (France). Service Mathematiques et Codes Numeriques

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12045 / INIST-CNRS - ...

Development of specifications by propagation mechanisms

Souquieres, Jeanine
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

Second international conference on algebraic methodology and software technology, Iowa City (USA), m...

Resolution dans les systemes formels abstraits: applications a la programmation en logique, aux systemes de reecriture et aux grammaires formelles

Yim, Pascal
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1989

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79470 / INIST-CNRS -...

Sur les solutions analytiques de quelques equations aux derivees partielles en mecanique des fluides

Shi, Wei hui

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 20317 / INIST-CNRS ...

Grammaires attribuees et protocoles de communication

Andrey, Laurent
Schaff, Andre
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

In 'Actes colloque francophone sur l'ingenierie des protocoles, pages 219-334, Hermes, Pau, Septembr...

Modelisation mathematique d'un processus industriel et contribution a la programmation mathematique en nombres mixtes

Chadli, Mustafa

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79302 / INIST-CNRS -...

Regularite Gevrey des solutions de l'equation de Monge-Ampere reelle

Jallouli Kallel, Saoussen

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 77703 / INIST-CNRS -...

Using software process modelling to support consistent cooperation and competition of software engineering activities

Godart, C.
Canals, G.
Lonchamp, J.
Molli, P.
Derniame, J.C.
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11369 ...

Systemes de processus communicants et interpretation parallele de langages fonctionnels

Gamatie, BOUBAKAR
Institut National de Recherche en Informatique et en Automatique, Centre de Rennes Rennes (FRANCE)

January 1984

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

Translating equational systems into communicating processes

Eglin, Marie-Christine
Julliand, Jacques
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

Communication a : ISMM International workshop on parallel computing, Trani, Italy, september 1991SIG...

Derivation de processus communicants: regles et raffinement et applications

Damy Chanudet, Sylvie

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 80719 / INIST-CNRS -...

Resolution d'un systeme d'equations de relation floue, contribution a l'identification de systemes complexes

Dubois, Gilbert

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81729 / INIST-CNRS -...

Reflexions sur le choix d'architectures de communication dans les systemes automatises de production

Mammeri, Zoubir
Thomesse, Jean-Pierre
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

Publie dans : Actes seminaire de mecanique et productique, Chalons-sur-Marne, decembre 1991Available...

Modele de structuration des communications dans les systemes automatises de production

Mammeri, Zoubir
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

Publie dans : Actes seminaire de mecanique et productique, Cluny, decembre 1991Available at INIST (F...

Resolution d'equations intervenant dans les constructions parasismiques

Benazzouz, Hana

January 1990

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 77920 / INIST-CNRS -...

Un procede de discretisation des equations d'ondes en frequence

Depres, B.
CEA Centre d'Etudes de Limeil-Valenton, 94 - Villeneuve-Saint-Georges (France). Service Mathematiques et Codes Numeriques

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12045 / INIST-CNRS - ...

Development of specifications by propagation mechanisms

Souquieres, Jeanine
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

Second international conference on algebraic methodology and software technology, Iowa City (USA), m...

Resolution dans les systemes formels abstraits: applications a la programmation en logique, aux systemes de reecriture et aux grammaires formelles

Yim, Pascal
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1989

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79470 / INIST-CNRS -...

Sur les solutions analytiques de quelques equations aux derivees partielles en mecanique des fluides

Shi, Wei hui

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 20317 / INIST-CNRS ...

Grammaires attribuees et protocoles de communication

Andrey, Laurent
Schaff, Andre
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

In 'Actes colloque francophone sur l'ingenierie des protocoles, pages 219-334, Hermes, Pau, Septembr...

Modelisation mathematique d'un processus industriel et contribution a la programmation mathematique en nombres mixtes

Chadli, Mustafa

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79302 / INIST-CNRS -...

Regularite Gevrey des solutions de l'equation de Monge-Ampere reelle

Jallouli Kallel, Saoussen

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 77703 / INIST-CNRS -...

Using software process modelling to support consistent cooperation and competition of software engineering activities

Godart, C.
Canals, G.
Lonchamp, J.
Molli, P.
Derniame, J.C.
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11369 ...

Systemes de processus communicants et interpretation parallele de langages fonctionnels

Gamatie, BOUBAKAR
Institut National de Recherche en Informatique et en Automatique, Centre de Rennes Rennes (FRANCE)

January 1984

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

Derivation of communicating process from equation systems

Abstract

Extracted data

Derivation of communicating process from equation systems

Abstract

Extracted data

Related items

Related items