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/
Go to the corresponding LIPIcs Volume Portal


Pous, Damien

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

pdf-format:
LIPIcs-CALCO-2019-4.pdf (0.3 MB)


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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI