Damien Pous
4
Documents
Publications
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
An Efficient Abstract Machine for Safe AmbientsJournal of Logic and Algebraic Programming, 2007, ⟨10.1016/j.jlap.2007.02.003⟩
Article dans une revue
hal-01442746v1
|
|
Bisimulations up-to: beyond first-order transition systemsCONCUR, Sep 2014, Rome, Italy. ⟨10.1007/978-3-662-44584-6_8⟩
Communication dans un congrès
hal-00990859v1
|
|
A Correct Abstract Machine for Safe AmbientsCOORDINATION, 2005, Namur, Belgium. ⟨10.1007/11417019_2⟩
Communication dans un congrès
hal-01441466v1
|
Enhancements of the bisimulation proof methodDavide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012
Chapitre d'ouvrage
hal-00909391v1
|