Abstract is missing.
- Adequacy for Infinitary Algebraic Effects (Abstract)Gordon D. Plotkin. 1-2 [doi]
- Algebras for Parameterised MonadsRobert Atkey. 3-17 [doi]
- Kleene Monads: Handling Iteration in a Framework of Generic EffectsSergey Goncharov, Lutz Schröder, Till Mossakowski. 18-33 [doi]
- Complete Iterativity for Algebras with EffectsStefan Milius, Thorsten Palm, Daniel Schwencke. 34-48 [doi]
- Semantics of Higher-Order Recursion SchemesJirà Adámek, Stefan Milius, Jiri Velebil. 49-63 [doi]
- Coalgebraic Components in a Many-Sorted MicrocosmIchiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova. 64-80 [doi]
- Complementation of Coalgebra AutomataChristian Kissig, Yde Venema. 81-96 [doi]
- Characterising Behavioural Equivalence: Three Sides of One CoinClemens Kupke, Raul Andres Leal. 97-112 [doi]
- Let s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract)Conor McBride. 113-126 [doi]
- Circular Coinduction: A Proof Theoretical FoundationGrigore Rosu, Dorel Lucanu. 127-144 [doi]
- Approximating Labelled Markov Processes Again!Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin. 145-156 [doi]
- Weak Bisimilarity CoalgebraicallyAndrei Popescu. 157-172 [doi]
- Coalgebraic Symbolic SemanticsFilippo Bonchi, Ugo Montanari. 173-190 [doi]
- Relating Coalgebraic Notions of BisimulationSam Staton. 191-205 [doi]
- Traces, Executions and Schedulers, CoalgebraicallyBart Jacobs, Ana Sokolova. 206-220 [doi]
- Non-strongly Stable Orders Also Define Interesting Simulation RelationsIgnacio Fábregas, David de Frutos-Escrig, Miguel Palomino. 221-235 [doi]
- Stone Duality and the Recognisable Languages over an AlgebraMai Gehrke. 236-250 [doi]
- Free Heyting Algebras: RevisitedNick Bezhanishvili, Mai Gehrke. 251-266 [doi]
- Distributive Lattice-Structured OntologiesHans Bruun, Dion Coumans, Mai Gehrke. 267-283 [doi]
- A Duality Theorem for Real ::::C:::::::*::: AlgebrasM. Andrew Moshier, Daniela Petrisan. 284-299 [doi]
- Conway Games, CoalgebraicallyFurio Honsell, Marina Lenisa. 300-316 [doi]
- A Semantical Approach to Equilibria and RationalityDusko Pavlovic. 317-334 [doi]
- Van Kampen Colimits as Bicolimits in SpanTobias Heindel, Pawel Sobocinski. 335-349 [doi]
- Unfolding Grammars in Adhesive CategoriesPaolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski. 350-366 [doi]
- Views on Behaviour Protocols and Their Semantic FoundationSebastian S. Bauer, Rolf Hennicker. 367-382 [doi]
- Correctness, Completeness and Termination of Pattern-Based Model-to-Model TransformationFernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig. 383-397 [doi]
- Constructor-Based InstitutionsDaniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata. 398-412 [doi]
- DBtk: A Toolkit for Directed BigraphsGiorgio Bacci, Davide Grohmann, Marino Miculan. 413-422 [doi]
- Constraint-Muse: A Soft-Constraint Based System for Music TherapyMatthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing. 423-432 [doi]
- CIRC: A Behavioral Verification Tool Based on Circular CoinductionDorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu. 433-442 [doi]
- The Priced-Timed Maude ToolLeon Bendiksen, Peter Csaba Ölveczky. 443-448 [doi]
- A Tool Proving Well-Definedness of Streams Using Termination ToolsHans Zantema. 449-456 [doi]