Algebra and Coalgebra in Computer Science

4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings

Editors:

ISBN: 978-3-642-22943-5 (Print) 978-3-642-22944-2 (Online)

Table of contents (32 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-18

      On the Statistical Thermodynamics of Reversible Communicating Processes

    2. No Access

      Book Chapter

      Pages 19-35

      Solving Fixed-Point Equations by Derivation Tree Analysis

    3. No Access

      Book Chapter

      Pages 36-39

      Abstract Local Reasoning for Program Modules

    4. No Access

      Book Chapter

      Pages 40-54

      Infinite Computation, Co-induction and Computational Logic

  3. Contributed Papers

    1. No Access

      Book Chapter

      Pages 55-69

      From Corecursive Algebras to Corecursive Monads

    2. No Access

      Book Chapter

      Pages 70-84

      A Categorical Semantics for Inductive-Inductive Definitions

    3. No Access

      Book Chapter

      Pages 85-99

      Finitary Functors: From Set to Preord and Poset

    4. No Access

      Book Chapter

      Pages 100-114

      Model Constructions for Moss’ Coalgebraic Logic

    5. No Access

      Book Chapter

      Pages 115-129

      Relation Liftings on Preorders and Posets

    6. No Access

      Book Chapter

      Pages 130-144

      Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach

    7. No Access

      Book Chapter

      Pages 145-160

      Refinement Trees: Calculi, Tools, and Applications

    8. No Access

      Book Chapter

      Pages 161-175

      On the Fusion of Coalgebraic Logics

    9. No Access

      Book Chapter

      Pages 176-191

      Indexed Induction and Coinduction, Fibrationally

    10. No Access

      Book Chapter

      Pages 192-207

      Stone Duality for Nominal Boolean Algebras with И

    11. No Access

      Book Chapter

      Pages 208-221

      A Counterexample to Tensorability of Effects

    12. No Access

      Book Chapter

      Pages 222-236

      The Microcosm Principle and Compositionality of GSOS-Based Component Calculi

    13. No Access

      Book Chapter

      Pages 237-252

      Bases as Coalgebras

    14. No Access

      Book Chapter

      Pages 253-267

      A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata

    15. No Access

      Book Chapter

      Pages 268-282

      Coalgebraic Semantics for Derivations in Logic Programming

    16. No Access

      Book Chapter

      Pages 283-297

      Hybridization of Institutions

previous Page of 2