Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Marcello M. Bonsangue

    1. Leiden Inst. Advanced Computer Science, Leiden University, Leiden, The Netherlands

    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 8446)

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

Included in the following conference series:

Conference proceedings info: CMCS 2014.

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 EPUB and 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 (13 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  3. Regular Contributions

    1. Front Matter

      Pages 51-51
      Download chapter PDF

    2. How to Kill Epsilons with a Dagger

      • Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
      Pages 53-74

    3. On Coalgebras with Internal Moves

      • Tomasz Brengos
      Pages 75-97

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

      • Sebastian Enqvist, Joshua Sack
      Pages 98-117

    5. Coalgebraic Simulations and Congruences

      • H. Peter Gumm, Mehdi Zarrad
      Pages 118-134

    6. Dijkstra Monads in Monadic Computation

      • Bart Jacobs
      Pages 135-150

    7. Categories of Coalgebras with Monadic Homomorphisms

      • Wolfram Kahl
      Pages 151-167

    8. Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions

      • Henning Kerstan, Barbara König, Bram Westerbaan
      Pages 168-188

    9. Canonical Nondeterministic Automata

      • Robert S. R. Myers, Jiří Adámek, Stefan Milius, Henning Urbat
      Pages 189-210

    10. Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra

      • Baltasar Trancón y Widemann
      Pages 211-224

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

      • Baltasar Trancón y Widemann, Michael Hauhs
      Pages 225-244

  4. Back Matter

    Pages 245-245
    Download chapter PDF
Back to top

Other volumes

  1. Coalgebraic Methods in Computer Science

Keywords

About this book

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The 10 revised full papers were carefully reviewed and selected from 20 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

Editors and Affiliations

  • Leiden Inst. Advanced Computer Science, Leiden University, Leiden, The Netherlands

    Marcello M. Bonsangue

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation