Skip to main content
Springer Nature Link
Log in

Coalgebraic Methods in Computer Science

17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings

  • Conference proceedings
  • © 2024

Overview

Editors:
  1. Barbara König

    1. University of Duisburg-Essen, Duisburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Henning Urbat

    1. FAU Erlangen-Nürnberg, Erlangen, Germany

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

Included in the following conference series:

Conference proceedings info: CMCS 2024.

  • 1625 Accesses

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 139.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.

The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.

Keywords

Table of contents (10 papers)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking

    • Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo
    Pages 1-22

  3. A Categorical Approach to Coalgebraic Fixpoint Logic

    • Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
    Pages 23-43

  4. Preorder-Constrained Simulations for Program Refinement with Effects

    • Koko Muroya, Takahiro Sanada, Natsuki Urabe
    Pages 44-64

  5. Automata and Coalgebras in Categories of Species

    • Fosco Loregian
    Pages 65-92

  6. Automata in W-Toposes, and General Myhill-Nerode Theorems

    • Victor Iwaniack
    Pages 93-113

  7. Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras

    • Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Karla Messing
    Pages 114-134

  8. Explicit Hopcroft’s Trick in Categorical Partition Refinement

    • Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
    Pages 135-155

  9. Proving Behavioural Apartness

    • Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
    Pages 156-173

  10. A Compositional Framework for Petri Nets

    • Serge Lechenne, Clovis Eberhart, Ichiro Hasuo
    Pages 174-193

  11. Correspondence Between Composite Theories and Distributive Laws

    • Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis
    Pages 194-215

  12. Back Matter

    Pages 217-217
    Download chapter PDF
Back to top

Other volumes

  1. Coalgebraic Methods in Computer Science

Editors and Affiliations

  • University of Duisburg-Essen, Duisburg, Germany

    Barbara König

  • FAU Erlangen-Nürnberg, Erlangen, Germany

    Henning Urbat

Bibliographic Information

  • Book Title: Coalgebraic Methods in Computer Science

  • Book Subtitle: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings

  • Editors: Barbara König, Henning Urbat

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-66438-0

  • Publisher: Springer Cham

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

  • Copyright Information: IFIP International Federation for Information Processing 2024

  • Softcover ISBN: 978-3-031-66437-3Published: 26 July 2024

  • eBook ISBN: 978-3-031-66438-0Published: 25 July 2024

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 217

  • Number of Illustrations: 25 b/w illustrations, 13 illustrations in colour

  • Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Logic in AI, Mathematics of Computing

Publish with us

Policies and ethics

Societies and partnerships

Back to top