Skip to main content
SpringerLink
Log in
Book cover

Algebra and Coalgebra in Computer Science

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Alexander Kurz

    1. Department of Computer Science, University of Leicester, Leicester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marina Lenisa

    1. Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andrzej Tarlecki

    1. Faculty of Mathematics, Informatics and Mechanics, Warsaw University, Warsaw, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5728)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CALCO 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Download chapter PDF

  2. Algebraic Effects and Recursive Equations

    1. Adequacy for Infinitary Algebraic Effects (Abstract)

      • Gordon Plotkin
      Pages 1-2

    2. Algebras for Parameterised Monads

      • Robert Atkey
      Pages 3-17

    3. Kleene Monads: Handling Iteration in a Framework of Generic Effects

      • Sergey Goncharov, Lutz Schröder, Till Mossakowski
      Pages 18-33

    4. Complete Iterativity for Algebras with Effects

      • Stefan Milius, Thorsten Palm, Daniel Schwencke
      Pages 34-48

    5. Semantics of Higher-Order Recursion Schemes

      • Jiří Adámek, Stefan Milius, Jiří Velebil
      Pages 49-63

  3. Theory of Coalgebra

    1. Coalgebraic Components in a Many-Sorted Microcosm

      • Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
      Pages 64-80

    2. Complementation of Coalgebra Automata

      • Christian Kissig, Yde Venema
      Pages 81-96

    3. Characterising Behavioural Equivalence: Three Sides of One Coin

      • Clemens Kupke, Raul Andres Leal
      Pages 97-112

  5. Bisimulation

    1. Approximating Labelled Markov Processes Again!

      • Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon Plotkin
      Pages 145-156

    2. Weak Bisimilarity Coalgebraically

      • Andrei Popescu
      Pages 157-172

    3. Coalgebraic Symbolic Semantics

      • Filippo Bonchi, Ugo Montanari
      Pages 173-190

    4. Relating Coalgebraic Notions of Bisimulation

      • Sam Staton
      Pages 191-205

    5. Traces, Executions and Schedulers, Coalgebraically

      • Bart Jacobs, Ana Sokolova
      Pages 206-220

    6. Non-strongly Stable Orders Also Define Interesting Simulation Relations

      • Ignacio Fábregas, David de Frutos Escrig, Miguel Palomino
      Pages 221-235

  6. Stone Duality

    1. Stone Duality and the Recognisable Languages over an Algebra

      • Mai Gehrke
      Pages 236-250

    2. Free Heyting Algebras: Revisited

      • Nick Bezhanishvili, Mai Gehrke
      Pages 251-266

    3. Distributive Lattice-Structured Ontologies

      • Hans Bruun, Dion Coumans, Mai Gehrke
      Pages 267-283
Back to top

Other volumes

  1. Algebra and Coalgebra in Computer Science

Keywords

Editors and Affiliations

  • Department of Computer Science, University of Leicester, Leicester, UK

    Alexander Kurz

  • Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy

    Marina Lenisa

  • Faculty of Mathematics, Informatics and Mechanics, Warsaw University, Warsaw, Poland

    Andrzej Tarlecki

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation