Damien Pous
3
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 1
- 2
- 1
|
Enhanced Coalgebraic BisimulationMathematical Structures in Computer Science, 2015, ⟨10.1017/S0960129515000523⟩
Article dans une revue
hal-01288960v1
|
Lax Bialgebras and Up-To Techniques for Weak Bisimulations26th International Conference on Concurrency Theory (CONCUR), Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.240⟩
Communication dans un congrès
hal-01285299v1
|
|
|
Coinduction up to in a fibrational settingCSL-LICS, Jul 2014, Vienne, Austria. pp.1-12, ⟨10.1145/2603088.2603149⟩
Communication dans un congrès
hal-00936488v2
|