Algebra and Coalgebra in Computer Science

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

  • Alexander Kurz
  • Marina Lenisa
  • Andrzej Tarlecki
Conference proceedings CALCO 2009

DOI: 10.1007/978-3-642-03741-2

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

  • 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