Abstract is missing.
- The EfProb Library for Probabilistic CalculationsKenta Cho, Bart Jacobs 0001. [doi]
- UML Interactions Meet State Machines - An Institutional ApproachAlexander Knapp, Till Mossakowski. [doi]
- Automata Minimization: a Functorial ApproachThomas Colcombet, Daniela Petrisan. [doi]
- Being Van Kampen in Presheaf Topoi is a Uniqueness PropertyHarald König, Uwe Wolter. [doi]
- Monoidal Company for Accessible FunctorsHenning Basold, Damien Pous, Jurriaan Rot. [doi]
- Uniform Interpolation in Coalgebraic Modal LogicFatemeh Seifan, Lutz Schröder, Dirk Pattinson. [doi]
- Front Matter, Table of Contents, Preface, List of Authors [doi]
- Disjunctive Bases: Normal Forms for Modal LogicsSebastian Enqvist, Yde Venema. [doi]
- Probability Sheaves and the Giry MonadAlex Simpson. [doi]
- Parity Automata for Quantitative Linear Time LogicsCorina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo. [doi]
- The Positivication of Coalgebraic LogicsFredrik Dahlqvist, Alexander Kurz. [doi]
- A 2-Categorical Approach to Composing Quantum StructuresDavid Reutter, Jamie Vicary. [doi]
- Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata NetworksAlessandro Gianola, Stefano Kasangian, Nicoletta Sabadini. [doi]
- Finite Behaviours and Finitary CorecursionHenning Urbat. [doi]
- Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game SemanticsClovis Eberhart, Tom Hirschowitz. [doi]
- A Universal Construction for (Co)RelationsBrendan Fong, Fabio Zanasi. [doi]
- Proper Functors and their Rational Fixed PointStefan Milius. [doi]
- Bisimulation for Weakly Expressive Coalgebraic Modal LogicsZeinab Bakhtiari, Helle Hvid Hansen. [doi]
- On Corecursive Algebras for Functors Preserving CoproductsJirí Adámek, Stefan Milius. [doi]
- Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game SemanticsWilliam John Gowers, James Laird. [doi]
- Custom Hypergraph Categories via Generalized RelationsDan Marsden, Fabrizio Genovese. [doi]
- On Path-Based Coalgebras and Weak Notions of BisimulationHarsh Beohar, Sebastian Küpper. [doi]
- Free Constructions and Coproducts of d-FramesTomás Jakl, Achim Jung. [doi]
- Termination in Convex Sets of DistributionsAna Sokolova, Harald Woracek. [doi]
- A Classical Groupoid Model for Quantum NetworksDavid Reutter, Jamie Vicary. [doi]
- Precongruences and Parametrized Coinduction for Logics for Behavioral EquivalenceDavid Sprunger, Lawrence S. Moss. [doi]