Skip to main content
Book cover
  • Conference proceedings
  • © 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:

  1. Dirk Pattinson

    1. Research School of Information Sciences and Engineering, The Australian National University, Canberra, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Lutz Schröder

    1. Department of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research

  • Fast-track conference proceedings

  • Unique visibility

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

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

Conference series link(s): CMCS: International Workshop on Coalgebraic Methods in Computer Science

Conference proceedings info: CMCS 2012.

Sections

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-32784-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 74.99
Price excludes VAT (USA)
Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (13 papers)

  1. Front Matter

    PDF

  3. Defining Context-Free Power Series Coalgebraically

    • Marcello M. Bonsangue, Jan Rutten, Joost Winter
    Pages 20-39

  5. On Finitary Functors and Their Presentations

    • Jiří Adámek, Stefan Milius, Lawrence S. Moss
    Pages 51-70

  7. Stream Automata Are Coalgebras

    • Vincenzo Ciancia, Yde Venema
    Pages 90-108

  8. Trace Semantics via Determinization

    • Bart Jacobs, Alexandra Silva, Ana Sokolova
    Pages 109-129

  9. An Alpha-Corecursion Principle for the Infinitary Lambda Calculus

    • Alexander Kurz, Daniela Petrişan, Paula Severi, Fer-Jan de Vries
    Pages 130-149

  10. Lax Extensions of Coalgebra Functors

    • Johannes Marti, Yde Venema
    Pages 150-169

  11. From Transitions to Executions

    • Eleftherios Matsikoudis, Edward A. Lee
    Pages 170-190

  13. Permutations in Coinductive Graph Representation

    • Celia Picard, Ralph Matthes
    Pages 218-237

  14. Internal Models for Coalgebraic Modal Logics

    • Toby Wilkinson
    Pages 238-258

  15. Back Matter

    PDF
Back to top

Other Volumes

  1. Coalgebraic Methods in Computer Science

Back to top

About this book

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.
Back to top

Keywords

  • automata
  • coalgebra functors
  • lambda calculus
  • modal logics
  • operational semantics
Back to top

Editors and Affiliations

  • Research School of Information Sciences and Engineering, The Australian National University, Canberra, Australia

    Dirk Pattinson

  • Department of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen, Germany

    Lutz Schröder

Back to top

Bibliographic Information

Back to top
Access via your institution
eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-32784-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 74.99
Price excludes VAT (USA)
Learn about institutional subscriptions