
Search the dblp DataBase
Damien Pous:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Damien Pous
Weak Bisimulation Up to Elaboration. [Citation Graph (0, 0)][DBLP] CONCUR, 2006, pp:390405 [Conf]
 Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
A Correct Abstract Machine for Safe Ambients. [Citation Graph (0, 0)][DBLP] COORDINATION, 2005, pp:1732 [Conf]
 Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, JeanBernard Stefani
ComponentOriented Programming with Sharing: Containment is Not Ownership. [Citation Graph (0, 0)][DBLP] GPCE, 2005, pp:389404 [Conf]
 Damien Pous
Upto Techniques for Weak Bisimulation. [Citation Graph (0, 0)][DBLP] ICALP, 2005, pp:730741 [Conf]
 Daniel Hirschkoff, Damien Pous
A Distribution Law for CCS and a New Congruence Result for the piCalculus. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2007, pp:228242 [Conf]
 Daniel Hirschkoff, Damien Pous
A Distribution Law for CCS and a New Congruence Result for the picalculus [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp: [Journal]
 Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
An efficient abstract machine for Safe Ambients. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2007, v:71, n:2, pp:114149 [Journal]
 Damien Pous
New upto techniques for weak bisimulation. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2007, v:380, n:12, pp:164180 [Journal]
Complete Lattices and UpTo Techniques. [Citation Graph (, )][DBLP]
Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic. [Citation Graph (, )][DBLP]
On Bisimilarity and Substitution in Presence of Replication. [Citation Graph (, )][DBLP]
On Bisimulation Proofs for the Analysis of Distributed Abstract Machines. [Citation Graph (, )][DBLP]
An Efficient Coq Tactic for Deciding Kleene Algebras. [Citation Graph (, )][DBLP]
On characterising strong bisimilarity in a fragment of CCS with replication [Citation Graph (, )][DBLP]
Encapsulation and Dynamic Modularity in the PiCalculus [Citation Graph (, )][DBLP]
Encapsulation and Dynamic Modularity in the picalculus. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
