Abstract is missing.
- Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model CheckingRyota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo. 1-22 [doi]
- A Categorical Approach to Coalgebraic Fixpoint LogicEzra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg. 23-43 [doi]
- Preorder-Constrained Simulations for Program Refinement with EffectsKoko Muroya, Takahiro Sanada, Natsuki Urabe. 44-64 [doi]
- Automata and Coalgebras in Categories of SpeciesFosco Loregiàn. 65-92 [doi]
- Automata in W-Toposes, and General Myhill-Nerode TheoremsVictor Iwaniack. 93-113 [doi]
- Graded Semantics and Graded Logics for Eilenberg-Moore CoalgebrasJonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Karla Messing. 114-134 [doi]
- Explicit Hopcroft's Trick in Categorical Partition RefinementTakahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo. 135-155 [doi]
- Proving Behavioural ApartnessRuben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot. 156-173 [doi]
- A Compositional Framework for Petri NetsSerge Lechenne, Clovis Eberhart, Ichiro Hasuo. 174-193 [doi]
- Correspondence Between Composite Theories and Distributive LawsAloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis. 194-215 [doi]