Damien Pous

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

12EEDaniel Hirschkoff, Damien Pous: On characterising strong bisimilarity in a fragment of CCS with replication CoRR abs/0810.2061: (2008)
11EEDamien Pous: Using bisimulation proof techniques for the analysis of distributed abstract machines. Theor. Comput. Sci. 402(2-3): 199-220 (2008)
10EEDamien Pous: Complete Lattices and Up-To Techniques. APLAS 2007: 351-366
9EEDaniel Hirschkoff, Damien Pous: A Distribution Law for CCS and a New Congruence Result for the pi-Calculus. FoSSaCS 2007: 228-242
8EEDaniel Hirschkoff, Damien Pous, Davide Sangiorgi: An efficient abstract machine for Safe Ambients. J. Log. Algebr. Program. 71(2): 114-149 (2007)
7EEDamien Pous: New up-to techniques for weak bisimulation. Theor. Comput. Sci. 380(1-2): 164-180 (2007)
6EEDamien Pous: Weak Bisimulation Up to Elaboration. CONCUR 2006: 390-405
5EEDamien Pous: On Bisimulation Proofs for the Analysis of Distributed Abstract Machines. TGC 2006: 150-166
4EEDaniel Hirschkoff, Damien Pous: A Distribution Law for CCS and a New Congruence Result for the pi-calculus CoRR abs/cs/0608059: (2006)
3EEDaniel Hirschkoff, Damien Pous, Davide Sangiorgi: A Correct Abstract Machine for Safe Ambients. COORDINATION 2005: 17-32
2EEDaniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani: Component-Oriented Programming with Sharing: Containment is Not Ownership. GPCE 2005: 389-404
1EEDamien Pous: Up-to Techniques for Weak Bisimulation. ICALP 2005: 730-741

Coauthor Index

1Daniel Hirschkoff [2] [3] [4] [8] [9] [12]
2Tom Hirschowitz [2]
3Davide Sangiorgi [3] [8]
4Alan Schmitt [2]
5Jean-Bernard Stefani [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)