Algebra and Coalgebra in Computer Science

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

Editors:

ISBN: 978-3-642-03740-5 (Print) 978-3-642-03741-2 (Online)

Table of contents (32 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Algebraic Effects and Recursive Equations

    1. No Access

      Book Chapter

      Pages 1-2

      Adequacy for Infinitary Algebraic Effects (Abstract)

    2. No Access

      Book Chapter

      Pages 3-17

      Algebras for Parameterised Monads

    3. No Access

      Book Chapter

      Pages 18-33

      Kleene Monads: Handling Iteration in a Framework of Generic Effects

    4. No Access

      Book Chapter

      Pages 34-48

      Complete Iterativity for Algebras with Effects

    5. No Access

      Book Chapter

      Pages 49-63

      Semantics of Higher-Order Recursion Schemes

  3. Theory of Coalgebra

    1. No Access

      Book Chapter

      Pages 64-80

      Coalgebraic Components in a Many-Sorted Microcosm

    2. No Access

      Book Chapter

      Pages 81-96

      Complementation of Coalgebra Automata

    3. No Access

      Book Chapter

      Pages 97-112

      Characterising Behavioural Equivalence: Three Sides of One Coin

  4. Coinduction

    1. No Access

      Book Chapter

      Pages 113-126

      Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract)

    2. No Access

      Book Chapter

      Pages 127-144

      Circular Coinduction: A Proof Theoretical Foundation

  5. Bisimulation

    1. No Access

      Book Chapter

      Pages 145-156

      Approximating Labelled Markov Processes Again!

    2. No Access

      Book Chapter

      Pages 157-172

      Weak Bisimilarity Coalgebraically

    3. No Access

      Book Chapter

      Pages 173-190

      Coalgebraic Symbolic Semantics

    4. No Access

      Book Chapter

      Pages 191-205

      Relating Coalgebraic Notions of Bisimulation

    5. No Access

      Book Chapter

      Pages 206-220

      Traces, Executions and Schedulers, Coalgebraically

    6. No Access

      Book Chapter

      Pages 221-235

      Non-strongly Stable Orders Also Define Interesting Simulation Relations

  6. Stone Duality

    1. No Access

      Book Chapter

      Pages 236-250

      Stone Duality and the Recognisable Languages over an Algebra

    2. No Access

      Book Chapter

      Pages 251-266

      Free Heyting Algebras: Revisited

    3. No Access

      Book Chapter

      Pages 267-283

      Distributive Lattice-Structured Ontologies

    4. No Access

      Book Chapter

      Pages 284-299

      A Duality Theorem for Real C * Algebras

previous Page of 2