Coinduction Up-To in a Fibrational Setting Jurriaan Rot † Filippo Bonchi Daniela Petris¸an Damien Pous ∗

Source URL: www.irif.fr

On the Positive Calculus of Relations with Transitive Closure Damien Pous Univ. Lyon, CNRS, ENS de Lyon, UCB Lyon 1, LIP

Source URL: drops.dagstuhl.de

IMC Hands on Particle Physics Partícules elementals, detectors i acceleradors Eugeni Graugés i Pous

Source URL: www.lhc.cat

Èske se yon pinèz, yon ravèt oswa yon pis tapi ? Pinèz: Kò li gen fòm yon oval aplati e li gen koulè mawon-wouj ; li mezire 1/5 pous nan longè ; antèn li yo kout e pwès ; zye l yo fonse e yo sòti sou deyò ep

Source URL: www1.nyc.gov

Encapsulation and Dynamic Modularity in the π-calculus Daniel Hirschkoff, Tom Hirschowitz, Samuel Hym, Aur´elien Pardon and Damien Pous Oslo, June 7th, 2008

Source URL: places08.di.fc.ul.pt

• Process calculi
• Theoretical computer science
• -calculus
• Distribution

PERIMETRE DU QUARTIER Vaucluse (84) Commune : Carpentras. Z.U.S. : Pous du Plan

Source URL: www.avignonzonefranche.fr

Weak Bisimulation Up to Elaboration Damien Pous ENS Lyon Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that e

Source URL: perso.ens-lyon.fr

Pous de Glaç al Vallès Oriental

Source URL: www.websmuseugranollers.org

Using Bisimulation Proof Techniques for the Analysis of Distributed Abstract Machines Damien Pous ∗ ENS Lyon, France.

Source URL: perso.ens-lyon.fr

A Distribution Law for CCS and a New Congruence Result for the π-Calculus Daniel Hirschkoff and Damien Pous LIP – ENS Lyon, CNRS, INRIA, UCBL, France Abstract. We give an axiomatisation of strong bisimilarity on a s

Source URL: perso.ens-lyon.fr