Damien Pous
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
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
|