CMCS

Keyphrases

Publications

2024

Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
A Categorical Approach to Coalgebraic Fixpoint Logic. CMCS (2024)
Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo
Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking. CMCS (2024)
Koko Muroya, Takahiro Sanada, Natsuki Urabe
Preorder-Constrained Simulations for Program Refinement with Effects. CMCS (2024)
Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis
Correspondence Between Composite Theories and Distributive Laws. CMCS (2024)
Victor Iwaniack
Automata in W-Toposes, and General Myhill-Nerode Theorems. CMCS (2024)
Serge Lechenne, Clovis Eberhart, Ichiro Hasuo
A Compositional Framework for Petri Nets. CMCS (2024)
Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
Explicit Hopcroft's Trick in Categorical Partition Refinement. CMCS (2024)
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
Proving Behavioural Apartness. CMCS (2024)
Fosco Loregiàn
Automata and Coalgebras in Categories of Species. CMCS (2024)
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Karla Messing
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. CMCS (2024)

volume 14617, 2024

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 CMCS 14617 (2024)

2022

volume 13225, 2022

Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings CMCS 13225 (2022)

2020

volume 12094, 2020

Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings CMCS 12094 (2020)

2018

volume 11202, 2018

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 CMCS 11202 (2018)

2016

volume 9608, 2016

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 CMCS 9608 (2016)