Asynchrony and the #pi#-calculus : (note)

Parallel logic programming systems

Chassin de Kergommeaux, Jacques
Codognet, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Functional and asynchronous parallel programming

Julliand, J.
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 1993

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

Implementation en C de l'arithmetique de Sisyphe

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

January 1994

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet SAFIRAvailable at INIST (FR...

On bisimulations for the asynchronous #pi#-calculus

Amadio, Roberto M.
Castellani, Ilaria
Sangiorgi, Davide
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1996

Theme 1 - Reseaux et systemes. Projet MeijeSIGLEAvailable at INIST (FR), Document Supply Service, un...

On the decidability of fragments of the asynchronous #pi#-calculu

Amadio, Roberto M.
Meyssonnier, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

Theme 1 - Reseaux et systemes - Projet MIMOSASIGLEAvailable from INIST (FR), Document Supply Service...

#pi#-calculus, internal mobility, and agent-passing calculi

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

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet MEIJESIGLEAvailable at INI...

Asynchrony and the Pi-calculus

Boudol, Gérard

January 1992

We introduce an asynchronous version of Milner's -calculus, based on the idea that the messages are ...

#gamma#-Calculus, multiplicities and the #pi#-Calculus

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

January 1995

Programme 2 - Calcul symbolique, programmation et genie logicieL. Projet meijeSIGLEAvailable at INIS...

Asymptotique automatique

Salvy, Bruno
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1999

Theme 2 - Genie logiciel et calcul symbolique. Projet AlgoAvailable from INIST (FR), Document Supply...

Asymptotique des recurrences mahleriennes Le cas cyclotomique

Dumas, Philippe
Flajolet, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1994

Programme 2 : calcul symbolique, programmation et genie logicielAvailable at INIST (FR), Document Su...

The receptive distributed Pi-calculus

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

January 2000

Theme 1 - Reseaux et systemes - Projet MIMOSASIGLEAvailable from INIST (FR), Document Supply Service...

General asymptotic scales and computer algebra

Salvy, Bruno
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

On the reduction of chocs bisimulation to #pi#-calculus bisimulation

Amadio, Roberto M.
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Asynchronous pi-calculus at Work: The Call-by-Need Strategy

Sangiorgi, Davide

November 2019

International audienceIn a well-known and influential paper [17] Palamidessi has shown that the expr...

AP"2L An asynchronous functional parallel programming language

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 1990

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

Parallel logic programming systems

Chassin de Kergommeaux, Jacques
Codognet, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Functional and asynchronous parallel programming

Julliand, J.
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 1993

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

Implementation en C de l'arithmetique de Sisyphe

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

January 1994

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet SAFIRAvailable at INIST (FR...

On bisimulations for the asynchronous #pi#-calculus

Amadio, Roberto M.
Castellani, Ilaria
Sangiorgi, Davide
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1996

Theme 1 - Reseaux et systemes. Projet MeijeSIGLEAvailable at INIST (FR), Document Supply Service, un...

On the decidability of fragments of the asynchronous #pi#-calculu

Amadio, Roberto M.
Meyssonnier, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

Theme 1 - Reseaux et systemes - Projet MIMOSASIGLEAvailable from INIST (FR), Document Supply Service...

#pi#-calculus, internal mobility, and agent-passing calculi

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

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet MEIJESIGLEAvailable at INI...

Asynchrony and the Pi-calculus

Boudol, Gérard

January 1992

We introduce an asynchronous version of Milner's -calculus, based on the idea that the messages are ...

#gamma#-Calculus, multiplicities and the #pi#-Calculus

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

January 1995

Programme 2 - Calcul symbolique, programmation et genie logicieL. Projet meijeSIGLEAvailable at INIS...

Asymptotique automatique

Salvy, Bruno
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1999

Theme 2 - Genie logiciel et calcul symbolique. Projet AlgoAvailable from INIST (FR), Document Supply...

Asymptotique des recurrences mahleriennes Le cas cyclotomique

Dumas, Philippe
Flajolet, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1994

Programme 2 : calcul symbolique, programmation et genie logicielAvailable at INIST (FR), Document Su...

The receptive distributed Pi-calculus

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

January 2000

Theme 1 - Reseaux et systemes - Projet MIMOSASIGLEAvailable from INIST (FR), Document Supply Service...

General asymptotic scales and computer algebra

Salvy, Bruno
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

On the reduction of chocs bisimulation to #pi#-calculus bisimulation

Amadio, Roberto M.
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Asynchronous pi-calculus at Work: The Call-by-Need Strategy

Sangiorgi, Davide

November 2019

International audienceIn a well-known and influential paper [17] Palamidessi has shown that the expr...

AP"2L An asynchronous functional parallel programming language

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 1990

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

Parallel logic programming systems

Chassin de Kergommeaux, Jacques
Codognet, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Functional and asynchronous parallel programming

Julliand, J.
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 1993

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

Implementation en C de l'arithmetique de Sisyphe

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

January 1994

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet SAFIRAvailable at INIST (FR...

Asynchrony and the #pi#-calculus : (note)

Abstract

Extracted data

Asynchrony and the #pi#-calculus : (note)

Abstract

Extracted data

Related items

Related items