Skip to main content
SpringerLink
Log in

Coalgebraic Methods in Computer Science

14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Corina Cîrstea

    1. University of Southampton, Southampton, UK

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

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

Included in the following conference series:

Conference proceedings info: CMCS 2018.

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 (12 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Relating Structure and Power: Comonadic Semantics for Computational Resources

    • Samson Abramsky, Nihil Shah
    Pages 1-5

  3. Coalgebraic Logics & Duality

    • Clemens Kupke
    Pages 6-12

  4. Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs

    • Stefano Berardi, Makoto Tatsuta
    Pages 13-33

  5. Undecidability of Equality for Codata Types

    • Ulrich Berger, Anton Setzer
    Pages 34-55

  6. Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

    • Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
    Pages 56-77

  7. Long-Term Values in Markov Decision Processes, (Co)Algebraically

    • Frank M. V. Feys, Helle Hvid Hansen, Lawrence S. Moss
    Pages 78-99

  8. (In)finite Trace Equivalence of Probabilistic Transition Systems

    • Alexandre Goy, Jurriaan Rot
    Pages 100-121

  9. Steps and Traces

    • Bart Jacobs, Paul Levy, Jurriaan Rot
    Pages 122-143

  10. On Algebras with Effectful Iteration

    • Stefan Milius, Jiří Adámek, Henning Urbat
    Pages 144-166

  11. Monoidal Computer III: A Coalgebraic View of Computability and Complexity (Extended Abstract)

    • Dusko Pavlovic, Muzamil Yahia
    Pages 167-189

  12. Fibrational Bisimulations and Quantitative Reasoning

    • David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo
    Pages 190-213

  13. Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors

    • Natsuki Urabe, Ichiro Hasuo
    Pages 214-234

  14. 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 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.
The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

Editors and Affiliations

  • University of Southampton, Southampton, UK

    Corina Cîrstea

Bibliographic Information

  • Book Title: Coalgebraic Methods in Computer Science

  • Book Subtitle: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

  • Editors: Corina Cîrstea

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-00389-0

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: IFIP International Federation for Information Processing 2018

  • Softcover ISBN: 978-3-030-00388-3Published: 20 September 2018

  • eBook ISBN: 978-3-030-00389-0Published: 19 September 2018

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 235

  • Number of Illustrations: 4 b/w illustrations

  • Topics: Mathematical Logic and Formal Languages, Artificial Intelligence, Logics and Meanings of Programs

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation