Advertisement

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
    3. M. Andrew Moshier, Daniela Petrişan
      Pages 284-299
  7. Game Theory

    1. Furio Honsell, Marina Lenisa
      Pages 300-316
  8. Graph Transformation

    1. Tobias Heindel, Paweł Sobociński
      Pages 335-349
    2. Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Paweł Sobociński
      Pages 350-366
  9. Software Development Techniques

    1. Sebastian S. Bauer, Rolf Hennicker
      Pages 367-382
    2. Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig
      Pages 383-397
    3. Daniel Găină, Kokichi Futatsugi, Kazuhiro Ogata
      Pages 398-412
  10. CALCO Tools Workshop

    1. Giorgio Bacci, Davide Grohmann, Marino Miculan
      Pages 413-422
    2. Matthias Hölzl, Grit Denker, Max Meier, Martin Wirsing
      Pages 423-432
    3. Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Roşu
      Pages 433-442
    4. Leon Bendiksen, Peter Csaba Ölveczky
      Pages 443-448
  11. Back Matter

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
  • Buy this book on publisher's site