Skip to main content
SpringerLink
Log in
Book cover

Coalgebraic Methods in Computer Science

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

  • Conference proceedings
  • © 2012

Overview

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)

Included in the following conference series:

Conference proceedings info: CMCS 2012.

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

    Download chapter PDF

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

    • Samson Abramsky, Jonathan Zvesper
    Pages 1-19

  3. Defining Context-Free Power Series Coalgebraically

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

  4. Relational Presheaves as Labelled Transition Systems

    • Paweł Sobociński
    Pages 40-50

  5. On Finitary Functors and Their Presentations

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

  6. Structural Operational Semantics for Continuous State Probabilistic Processes

    • Giorgio Bacci, Marino Miculan
    Pages 71-89

  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

  12. Tracing the Man in the Middle in Monoidal Categories

    • Dusko Pavlovic
    Pages 191-217

  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

    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 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.

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation