Coalgebraic Methods in Computer Science

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

  • Dirk Pattinson
  • Lutz Schröder
Conference proceedings CMCS 2012

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

Table of contents

  1. Front Matter
  2. Marcello M. Bonsangue, Jan Rutten, Joost Winter
    Pages 20-39
  3. Jiří Adámek, Stefan Milius, Lawrence S. Moss
    Pages 51-70
  4. Vincenzo Ciancia, Yde Venema
    Pages 90-108
  5. Bart Jacobs, Alexandra Silva, Ana Sokolova
    Pages 109-129
  6. Alexander Kurz, Daniela Petrişan, Paula Severi, Fer-Jan de Vries
    Pages 130-149
  7. Johannes Marti, Yde Venema
    Pages 150-169
  8. Eleftherios Matsikoudis, Edward A. Lee
    Pages 170-190
  9. Celia Picard, Ralph Matthes
    Pages 218-237
  10. Toby Wilkinson
    Pages 238-258
  11. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 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 coalgebra functors lambda calculus modal logics operational semantics

Editors and affiliations

  • Dirk Pattinson
    • 1
  • Lutz Schröder
    • 2
  1. 1.Research School of Information Sciences and EngineeringThe Australian National UniversityCanberraAustralia
  2. 2.Department of Computer ScienceFriedrich-Alexander-Universität Erlangen-NürnbergErlangenGermany

Bibliographic information

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