Book Volume 8446 2014

Coalgebraic Methods in Computer Science

12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Editors:

ISBN: 978-3-662-44123-7 (Print) 978-3-662-44124-4 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages I-X

  2. Invited Contributions

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter and Conference Paper

      Pages 3-9

      Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)

    3. No Access

      Chapter and Conference Paper

      Pages 10-32

      Generic Weakest Precondition Semantics from Monads Enriched with Order

    4. No Access

      Chapter and Conference Paper

      Pages 33-49

      Coalgebraic Multigames

  3. Regular Contributions

    1. Front Matter

      Pages 51-51

    2. No Access

      Chapter and Conference Paper

      Pages 53-74

      How to Kill Epsilons with a Dagger

    3. No Access

      Chapter and Conference Paper

      Pages 75-97

      On Coalgebras with Internal Moves

    4. No Access

      Chapter and Conference Paper

      Pages 98-117

      A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics

    5. No Access

      Chapter and Conference Paper

      Pages 118-134

      Coalgebraic Simulations and Congruences

    6. No Access

      Chapter and Conference Paper

      Pages 135-150

      Dijkstra Monads in Monadic Computation

    7. No Access

      Chapter and Conference Paper

      Pages 151-167

      Categories of Coalgebras with Monadic Homomorphisms

    8. No Access

      Chapter and Conference Paper

      Pages 168-188

      Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions

    9. No Access

      Chapter and Conference Paper

      Pages 189-210

      Canonical Nondeterministic Automata

    10. No Access

      Chapter and Conference Paper

      Pages 211-224

      Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra

    11. No Access

      Chapter and Conference Paper

      Pages 225-244

      Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models

  4. Back Matter

    Pages 245-245