Un lambda-calcul pour le parallelisme et la communication

Semantique de PARLOG, un langage logique parallele

Richard, Gilles
Rizk, Antoine
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

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

Fonctions et genericite dans un langage de programmation parallele

Hufflen, Jean-Michel
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLEINIST T 74922 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Langages fonctionnels et parallelisme. Une realisation pour le systeme CAML

Dupont, Francis
Ecole Polytechnique, 91 - Palaiseau (France)

January 1990

SIGLEINIST T 74678 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

A lambda-calculus for parallel functions

Boudol, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1990

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

Lambda-calculi for (strict) parallel functions

Boudol, Gerard
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 ...

Calcul formel et parallelisme: l'architecture du systeme PAC et son arithmetique rationnelle

Roch, Jean-Louis
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLEINIST T 70840 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Mesures de la concurrence et du parallelisme des calculs repartis

Charron-Bost, Bernadette

January 1989

SIGLEINIST T 73917 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Calcul formel et parallelisme : resolution de systemes lineaires

Villard, Gilles
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1988

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

Syntaxe et semantique de la facilite en lambda-calcul

Zylberajch, Cecile

January 1991

Available from INIST (FR), Document Supply Service, under shelf-number : T 84405 / INIST-CNRS - Inst...

Reductions paralleles dans le Lambda-Calcul : non-existence d'une strategie optimale fondee sur le partage

Gengler, Marc

January 1989

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

Calculs paralleles sur micro-ordinateurs

Moatti, Alain Joseph
Ecole Nationale Superieure des Telecommunications (ENST), 75 - Paris (France)

January 1987

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

Parallelisme et distribution en LISP

Piquer, Jose
Ecole Polytechnique, 91 - Palaiseau (France)

January 1991

SIGLEINIST T 77143 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Algorithmique parallele et distribuee

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

January 1985

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

La logique lineaire a l'etude de divers processus de normalisation (principalement du lambda-calcul)

Danos, Vincent

January 1990

SIGLEINIST T 77210 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

On the definition of lambda-calculus models

Berry, G
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France)

January 1980

SIGLEAvailable from CEN Saclay, Service de Documentation, 91191 Gif-sur-Yvette Cedex (France) / INIS...

Semantique de PARLOG, un langage logique parallele

Richard, Gilles
Rizk, Antoine
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

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

Fonctions et genericite dans un langage de programmation parallele

Hufflen, Jean-Michel
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLEINIST T 74922 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Langages fonctionnels et parallelisme. Une realisation pour le systeme CAML

Dupont, Francis
Ecole Polytechnique, 91 - Palaiseau (France)

January 1990

SIGLEINIST T 74678 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

A lambda-calculus for parallel functions

Boudol, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1990

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

Lambda-calculi for (strict) parallel functions

Boudol, Gerard
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 ...

Calcul formel et parallelisme: l'architecture du systeme PAC et son arithmetique rationnelle

Roch, Jean-Louis
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLEINIST T 70840 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Mesures de la concurrence et du parallelisme des calculs repartis

Charron-Bost, Bernadette

January 1989

SIGLEINIST T 73917 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Calcul formel et parallelisme : resolution de systemes lineaires

Villard, Gilles
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1988

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

Syntaxe et semantique de la facilite en lambda-calcul

Zylberajch, Cecile

January 1991

Available from INIST (FR), Document Supply Service, under shelf-number : T 84405 / INIST-CNRS - Inst...

Reductions paralleles dans le Lambda-Calcul : non-existence d'une strategie optimale fondee sur le partage

Gengler, Marc

January 1989

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

Calculs paralleles sur micro-ordinateurs

Moatti, Alain Joseph
Ecole Nationale Superieure des Telecommunications (ENST), 75 - Paris (France)

January 1987

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

Parallelisme et distribution en LISP

Piquer, Jose
Ecole Polytechnique, 91 - Palaiseau (France)

January 1991

SIGLEINIST T 77143 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Algorithmique parallele et distribuee

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

January 1985

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

La logique lineaire a l'etude de divers processus de normalisation (principalement du lambda-calcul)

Danos, Vincent

January 1990

SIGLEINIST T 77210 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

On the definition of lambda-calculus models

Berry, G
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France)

January 1980

SIGLEAvailable from CEN Saclay, Service de Documentation, 91191 Gif-sur-Yvette Cedex (France) / INIS...

Semantique de PARLOG, un langage logique parallele

Richard, Gilles
Rizk, Antoine
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

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

Fonctions et genericite dans un langage de programmation parallele

Hufflen, Jean-Michel
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLEINIST T 74922 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Langages fonctionnels et parallelisme. Une realisation pour le systeme CAML

Dupont, Francis
Ecole Polytechnique, 91 - Palaiseau (France)

January 1990

SIGLEINIST T 74678 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un lambda-calcul pour le parallelisme et la communication

Abstract

Extracted data

Un lambda-calcul pour le parallelisme et la communication

Abstract

Extracted data

Related items

Related items