Algebra and Coalgebra in Computer Science

Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

  • Alexander Kurz
  • Marina Lenisa
  • Andrzej Tarlecki
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5728)

Table of contents

  1. Front Matter
  2. Algebraic Effects and Recursive Equations

    1. Robert Atkey
      Pages 3-17
    2. Sergey Goncharov, Lutz Schröder, Till Mossakowski
      Pages 18-33
    3. Stefan Milius, Thorsten Palm, Daniel Schwencke
      Pages 34-48
    4. Jiří Adámek, Stefan Milius, Jiří Velebil
      Pages 49-63
  3. Theory of Coalgebra

    1. Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
      Pages 64-80
    2. Christian Kissig, Yde Venema
      Pages 81-96
    3. Clemens Kupke, Raul Andres Leal
      Pages 97-112
  4. Coinduction

  5. Bisimulation

    1. Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon Plotkin
      Pages 145-156
    2. Andrei Popescu
      Pages 157-172
    3. Filippo Bonchi, Ugo Montanari
      Pages 173-190
    4. Bart Jacobs, Ana Sokolova
      Pages 206-220
    5. Ignacio Fábregas, David de Frutos Escrig, Miguel Palomino
      Pages 221-235
  6. Stone Duality

    1. Nick Bezhanishvili, Mai Gehrke
      Pages 251-266
    2. Hans Bruun, Dion Coumans, Mai Gehrke
      Pages 267-283

About these proceedings

Keywords

Bisimulation C* algebras automata coalgebra automata coinduction convay games distributive ontologies formal methods game theory grammars heyting algebras modeling semantics stone duality verification

Editors and affiliations

  • Alexander Kurz
    • 1
  • Marina Lenisa
    • 2
  • Andrzej Tarlecki
    • 3
  1. 1.Department of Computer ScienceUniversity of LeicesterLeicesterUK
  2. 2.Dipartimento di Matematica e InformaticaUniversità di UdineUdineItaly
  3. 3.Faculty of Mathematics, Informatics and MechanicsWarsaw UniversityWarsawPoland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-03741-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-03740-5
  • Online ISBN 978-3-642-03741-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349