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

  • Marcello M. Bonsangue

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8446)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 8446)

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Contributions

  3. Regular Contributions

    1. Front Matter
      Pages 51-51
    2. Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
      Pages 53-74
    3. Tomasz Brengos
      Pages 75-97
    4. H. Peter Gumm, Mehdi Zarrad
      Pages 118-134
    5. Bart Jacobs
      Pages 135-150
    6. Henning Kerstan, Barbara König, Bram Westerbaan
      Pages 168-188
    7. Robert S. R. Myers, Jiří Adámek, Stefan Milius, Henning Urbat
      Pages 189-210
    8. Baltasar Trancón y Widemann, Michael Hauhs
      Pages 225-244
  4. Back Matter
    Pages 245-245

About these proceedings

Introduction

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.

Keywords

automata bisimulation coalgebra functors determinization higher order logic hypergraphs lambda calculus modal logics operational semantics

Editors and affiliations

  • Marcello M. Bonsangue
    • 1
  1. 1.Leiden Inst. Advanced Computer ScienceLeiden UniversityLeidenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-44124-4
  • Copyright Information IFIP International Federation for Information Processing 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-44123-7
  • Online ISBN 978-3-662-44124-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book