Abstract is missing.
- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed CategoriesSamson Abramsky. 1-29 [doi]
- Labels from Reductions: Towards a General TheoryBartek Klin, Vladimiro Sassone, Pawel Sobocinski. 30-50 [doi]
- Adequacy for Algebraic Effects with StateGordon D. Plotkin. 51-51 [doi]
- Bisimilarity Is Not Finitely Based over BPA with InterruptLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain. 52-66 [doi]
- Algebra cap Coalgebra = PresheavesJirí Adámek. 67-82 [doi]
- Strong Splitting Bisimulation EquivalenceJan A. Bergstra, C. A. Middelburg. 83-97 [doi]
- Complete Axioms for Stateless ConnectorsRoberto Bruni, Ivan Lanese, Ugo Montanari. 98-113 [doi]
- On the Semantics of Coinductive Types in Martin-Löf Type TheoryFederico De Marchi. 114-126 [doi]
- Look: Simple Stochastic Relations Are Just, Well, SimpleErnst-Erich Doberkat. 127-141 [doi]
- Modelling Fusion Calculus using HD-AutomataGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane. 142-156 [doi]
- An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOLAnthony C. J. Fox. 157-174 [doi]
- Using Proofs by Coinduction to Find Traditional ProofsClemens Grabmayer. 175-193 [doi]
- From ::::T::::-Coalgebras to Filter Structures and Transition SystemsH. Peter Gumm. 194-212 [doi]
- Context-Free Languages via Coalgebraic Trace SemanticsIchiro Hasuo, Bart Jacobs. 213-231 [doi]
- Towards a Coalgebraic Semantics of the Ambient CalculusDaniel Hausmann, Till Mossakowski, Lutz Schröder. 232-246 [doi]
- The Least Fibred Lifting and the Expressivity of Coalgebraic Modal LogicBartek Klin. 247-262 [doi]
- Ultrafilter Extensions for CoalgebrasClemens Kupke, Alexander Kurz, Dirk Pattinson. 263-277 [doi]
- Equational Logic of Recursive Program SchemesJohn G. Mersch. 278-292 [doi]
- The Category Theoretic Solution of Recursive Program SchemesStefan Milius, Lawrence S. Moss. 293-312 [doi]
- A Categorical Approach to SimulationsMiguel Palomino, José Meseguer, Narciso Martí-Oliet. 313-330 [doi]
- Behavioral Extensions of InstitutionsAndrei Popescu, Grigore Rosu. 331-347 [doi]
- Discrete Lawvere TheoriesJohn Power. 348-363 [doi]
- Final Semantics for Event-Pattern Reactive ProgramsCésar Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna. 364-378 [doi]
- Complete Symbolic Reachability Analysis Using Back-and-Forth NarrowingPrasanna Thati, José Meseguer. 379-394 [doi]
- Final Sequences and Final Coalgebras for Measurable SpacesIgnacio D. Viglizzo. 395-407 [doi]
- Bireachability and Final MultialgebrasMichal Walicki. 408-423 [doi]
- Parametrized ExceptionsDennis Walter, Lutz Schröder, Till Mossakowski. 424-438 [doi]
- Property Preserving Redesign of SpecificationsArtur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko. 439-455 [doi]