Searching for authors named "Damien Pous" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Weak Bisimulation up to Elaboration
- …Weak Bisimulation Up to Elaboration ⋆ Damien Pous ENS Lyon Abstract. We study the use…
- Cited by 2 (1 self) – Add To MetaCart
-
On bisimulation proofs for the analysis of distributed abstract machines
- …On Bisimulation Proofs for the Analysis of Distributed Abstract Machines Damien Pous ENS Lyon…
- Cited by 1 (1 self) – Add To MetaCart
-
Up-to Techniques for Weak Bisimulation
- …Up-to Techniques for Weak Bisimulation Damien Pous ENS Lyon Abstract. Up-to techniques have been…
- Cited by 4 (2 self) – Add To MetaCart
-
A distribution law for CCS and a new congruence result for the pi-calculus
- … and Damien Pous LIP – ENS Lyon, CNRS, INRIA, UCBL, France Abstract. We give an axiomatisation of strong…
- Cited by 2 (0 self) – Add To MetaCart
-
An Efficient Abstract Machine for Safe Ambients
- …A Correct Abstract Machine for Safe Ambients ⋆ Daniel Hirschkoff 1 , Damien Pous 1 , and Davide…
- Cited by 4 (2 self) – Add To MetaCart
-
Component-Oriented Programming with Sharing: Containment is not Ownership
- … , Tom Hirschowitz 1 , Damien Pous 1 , Alan Schmitt 2 , Jean-Bernard Stefani 2 (1) LIP ENS Lyon, 46…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 6.
