Skip to main content
SpringerLink
Log in
Book cover

Coalgebraic Methods in Computer Science

13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Ichiro Hasuo

    1. University of Tokyo, Tokyo, Japan

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

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

Included in the following conference series:

Conference proceedings info: CMCS 2016.

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-IX
    Download chapter PDF

  2. Fixed Points of Functors - A Short Abstract

    • Jiří Adámek
    Pages 1-4

  3. Compositional Coinduction with Sized Types

    • Andreas Abel
    Pages 5-10

  4. Lawvere Categories as Composed PROPs

    • Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
    Pages 11-32

  5. Transitivity and Difunctionality of Bisimulations

    • Mehdi Zarrad, H. Peter Gumm
    Pages 33-52

  6. Affine Monads and Side-Effect-Freeness

    • Bart Jacobs
    Pages 53-72

  7. Duality of Equations and Coequations via Contravariant Adjunctions

    • Julian Salamanca, Marcello Bonsangue, Jurriaan Rot
    Pages 73-93

  8. Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness

    • Ekaterina Komendantskaya, John Power
    Pages 94-113

  9. Product Rules and Distributive Laws

    • Joost Winter
    Pages 114-135

  10. On the Logic of Generalised Metric Spaces

    • Octavian Babus, Alexander Kurz
    Pages 136-155

  11. A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors

    • David Sprunger
    Pages 156-173

  12. Coalgebraic Completeness-via-Canonicity

    • Fredrik Dahlqvist
    Pages 174-194

  13. Relational Lattices via Duality

    • Luigi Santocanale
    Pages 195-215

  14. On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems

    • Ievgen Ivanov
    Pages 216-234

  15. Back Matter

    Pages 235-235
    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-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016.


The 10 revised full papers were carefully reviewed and selected from 13 submissions. Also included are an invited paper and two keynote talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

Editors and Affiliations

  • University of Tokyo, Tokyo, Japan

    Ichiro Hasuo

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation