 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-00936488v2
Communication dans un congrès
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot. Coinduction up to in a fibrational setting CSL-LICS, Jul 2014, Vienne, Austria. ACM, pp.1-12, 2014, <10.1145/2603088.2603149> |
||
|
hal-01285299v1
Communication dans un congrès
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot. Lax Bialgebras and Up-To Techniques for Weak Bisimulations 26th International Conference on Concurrency Theory (CONCUR), Sep 2015, Madrid, Spain. 2015, Leibniz International Proceedings in Informatics (LIPIcs). <10.4230/LIPIcs.CONCUR.2015.240> |
||
|
hal-01442724v1
Article dans une revue
Filippo Bonchi, Daniela Petrişan, Damien Pous, Jurriaan Rot. A General Account of Coinduction Up-To Acta Informatica, Springer Verlag, 2016, <10.1007/s00236-016-0271-4> |
||
|
|
||
