Accéder directement au contenu

Damien Pous

2
Documents

Publications

895513
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

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