Accéder directement au contenu

Damien Pous

7
Documents

Publications

filippo-bonchi
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
Image document

Enhanced Coalgebraic Bisimulation

 Jurriaan Rot , Filippo Bonchi , Marcello Bonsangue , Damien Pous , Jan Rutten
Mathematical Structures in Computer Science, 2015, ⟨10.1017/S0960129515000523⟩
Article dans une revue hal-01288960v1
Image document

Hacking nondeterminism with induction and coinduction.

 Filippo Bonchi , Damien Pous
Communications of the ACM, 2015, 58 (2), pp.87-95. ⟨10.1145/2713167⟩
Article dans une revue hal-01284907v1

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
Image document

Checking NFA equivalence with bisimulations up to congruence

 Filippo Bonchi , Damien Pous
Principle of Programming Languages (POPL), Jan 2013, Roma, Italy. pp.457-468, ⟨10.1145/2429069.2429124⟩
Communication dans un congrès hal-00639716v5
Image document

Brzozowski's and Up-To Algorithms for Must Testing

 Filippo Bonchi , Georgiana Caltais , Damien Pous , Alexandra Silva
11th Asian Symposium on Programming Languages and Systems (APLAS), Dec 2013, Melbourne, Australia. pp.1-16, ⟨10.1007/978-3-319-03542-0_1⟩
Communication dans un congrès hal-00966072v1