Some congruence properties for #pi#-calculus bisimilarities

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...

Logical characterizations of truly concurrent bisimulation

Schnoebelen, Ph.
Laroussinie, F.
Pinchinat, S.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle (LIFIA)

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1994 n....

Analyses semantiques de congruence

Granger, Philippe
Ecole Polytechnique, 91 - Palaiseau (France)

January 1991

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

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...

Behavioral equivalence in the polymorphic Pi-calculus

Sangiorgi, Davide
Pierce, Benjamin
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 MEIJEAvailable at INIST (FR), Document Supply Service, under ...

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...

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...

A Distribution Law for CCS and a New Congruence Result for the pi-calculus (expanded)

Pous, Damien
Hirschkoff, Daniel

May 2008

International audienceWe give an axiomatisation of strong bisimilarity on a small fragment of CCS th...

A Distribution Law for CCS and a New Congruence Result for the pi-calculus

Hirschkoff, Daniel
Pous, Damien

January 2007

15 pagesWe give an axiomatisation of strong bisimilarity on a small fragment of CCS that does not fe...

A bisimulation for the blue calculus

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

January 1999

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

Interpreting functions as #pi#-calculus processes : a tutorial

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

January 1998

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

On the reduction of chocs bisimulation to pi-calculus bisimulation

Amadio, Roberto M.
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 12774 / INIST-CNRS - ...

#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...

#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 : (note)

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

January 1992

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

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...

Logical characterizations of truly concurrent bisimulation

Schnoebelen, Ph.
Laroussinie, F.
Pinchinat, S.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle (LIFIA)

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1994 n....

Analyses semantiques de congruence

Granger, Philippe
Ecole Polytechnique, 91 - Palaiseau (France)

January 1991

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

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...

Behavioral equivalence in the polymorphic Pi-calculus

Sangiorgi, Davide
Pierce, Benjamin
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 MEIJEAvailable at INIST (FR), Document Supply Service, under ...

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...

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...

A Distribution Law for CCS and a New Congruence Result for the pi-calculus (expanded)

Pous, Damien
Hirschkoff, Daniel

May 2008

International audienceWe give an axiomatisation of strong bisimilarity on a small fragment of CCS th...

A Distribution Law for CCS and a New Congruence Result for the pi-calculus

Hirschkoff, Daniel
Pous, Damien

January 2007

15 pagesWe give an axiomatisation of strong bisimilarity on a small fragment of CCS that does not fe...

A bisimulation for the blue calculus

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

January 1999

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

Interpreting functions as #pi#-calculus processes : a tutorial

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

January 1998

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

On the reduction of chocs bisimulation to pi-calculus bisimulation

Amadio, Roberto M.
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 12774 / INIST-CNRS - ...

#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...

#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 : (note)

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

January 1992

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

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...

Logical characterizations of truly concurrent bisimulation

Schnoebelen, Ph.
Laroussinie, F.
Pinchinat, S.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle (LIFIA)

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1994 n....

Analyses semantiques de congruence

Granger, Philippe
Ecole Polytechnique, 91 - Palaiseau (France)

January 1991

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

Some congruence properties for #pi#-calculus bisimilarities

Abstract

Extracted data

Some congruence properties for #pi#-calculus bisimilarities

Abstract

Extracted data

Related items

Related items