Damien Pous

Coinduction: Automata, Formal Proof, Companions (Invited Paper)

2019 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

Coinduction is a mathematical tool that is used pervasively in computer science: to program and reason about infinite data-structures, to give semantics to concurrent systems, to obtain automata algorithms. We present some of these applications …