License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CALCO.2019.4
URN: urn:nbn:de:0030-drops-114323
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2019/11432/
Pous, Damien
Coinduction: Automata, Formal Proof, Companions (Invited Paper)
Abstract
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 in automata theory and in formalised mathematics. Then we discuss recent developments on the abstract theory of coinduction and its enhancements.
BibTeX - Entry
@InProceedings{pous:LIPIcs:2019:11432,
author = {Damien Pous},
title = {{Coinduction: Automata, Formal Proof, Companions (Invited Paper)}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {4:1--4:4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Markus Roggenbach and Ana Sokolova},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2019/11432},
URN = {urn:nbn:de:0030-drops-114323},
doi = {10.4230/LIPIcs.CALCO.2019.4},
annote = {Keywords: Coinduction, Automata, Coalgebra, Formal proofs}
}
Keywords: |
|
Coinduction, Automata, Coalgebra, Formal proofs |
Collection: |
|
8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019) |
Issue Date: |
|
2019 |
Date of publication: |
|
25.11.2019 |