Accéder directement au contenu

Damien Pous

3
Documents

Publications

951583
Image document

A General Account of Coinduction Up-To

 Filippo Bonchi , Daniela Petrişan , Damien Pous , Jurriaan Rot
Acta Informatica, 2016, ⟨10.1007/s00236-016-0271-4⟩
Article dans une revue hal-01442724v1

Lax Bialgebras and Up-To Techniques for Weak Bisimulations

 Filippo Bonchi , Daniela Petrisan , Damien Pous , Jurriaan Rot
26th International Conference on Concurrency Theory (CONCUR), Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.240⟩
Communication dans un congrès hal-01285299v1
Image document

Coinduction up to in a fibrational setting

 Filippo Bonchi , Daniela Petrisan , Damien Pous , Jurriaan Rot
CSL-LICS, Jul 2014, Vienne, Austria. pp.1-12, ⟨10.1145/2603088.2603149⟩
Communication dans un congrès hal-00936488v2