Book Volume 7399 2012

Coalgebraic Methods in Computer Science

11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

Editors:

ISBN: 978-3-642-32783-4 (Print) 978-3-642-32784-1 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages -

  2. Chapter and Conference Paper

    Pages 1-19

    From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference

  3. Chapter and Conference Paper

    Pages 20-39

    Defining Context-Free Power Series Coalgebraically

  4. Chapter and Conference Paper

    Pages 40-50

    Relational Presheaves as Labelled Transition Systems

  5. Chapter and Conference Paper

    Pages 51-70

    On Finitary Functors and Their Presentations

  6. Chapter and Conference Paper

    Pages 71-89

    Structural Operational Semantics for Continuous State Probabilistic Processes

  7. Chapter and Conference Paper

    Pages 90-108

    Stream Automata Are Coalgebras

  8. Chapter and Conference Paper

    Pages 109-129

    Trace Semantics via Determinization

  9. Chapter and Conference Paper

    Pages 130-149

    An Alpha-Corecursion Principle for the Infinitary Lambda Calculus

  10. Chapter and Conference Paper

    Pages 150-169

    Lax Extensions of Coalgebra Functors

  11. Chapter and Conference Paper

    Pages 170-190

    From Transitions to Executions

  12. Chapter and Conference Paper

    Pages 191-217

    Tracing the Man in the Middle in Monoidal Categories

  13. Chapter and Conference Paper

    Pages 218-237

    Permutations in Coinductive Graph Representation

  14. Chapter and Conference Paper

    Pages 238-258

    Internal Models for Coalgebraic Modal Logics

  15. Back Matter

    Pages -