Abstract is missing.
- Regular and Algebraic Words and OrdinalsStephen L. Bloom, Zoltán Ésik. 1-15 [doi]
- Logical Semantics of Types for ConcurrencyLuís Caires. 16-35 [doi]
- Deriving Bisimulation Congruences with Borrowed ContextsBarbara König. 36-39 [doi]
- Symmetry and ConcurrencyGlynn Winskel. 40-64 [doi]
- Ready to Preorder: Get Your BCCSP Axiomatization for Free!Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir. 65-79 [doi]
- Impossibility Results for the Equational Theory of Timed CCSLuca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi. 80-95 [doi]
- Conceptual Data Modeling with Constraints in MaudeScott Alexander. 96-110 [doi]
- Datatypes in MemoryDavid Aspinall, Piotr Hoffman. 111-125 [doi]
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri NetsPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König. 126-142 [doi]
- Free Modal Algebras: A Coalgebraic PerspectiveNick Bezhanishvili, Alexander Kurz. 143-157 [doi]
- Coalgebraic Epistemic Update Without Change of ModelCorina Cîrstea, Mehrnoosh Sadrzadeh. 158-172 [doi]
- The Maude Formal Tool EnvironmentManuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky. 173-178 [doi]
- Bifinite Chu SpacesManfred Droste, Guo-Qiang Zhang. 179-193 [doi]
- Structured Co-spans: An Algebra of Interaction ProtocolsJosé Luiz Fiadeiro, Vincent Schmitt. 194-208 [doi]
- Graphical Encoding of a Spatial Logic for the ::::pi:::: -CalculusFabio Gadducci, Alberto Lluch-Lafuente. 209-225 [doi]
- Higher Dimensional Trees, AlgebraicallyNeil Ghani, Alexander Kurz. 226-241 [doi]
- A Semantic Characterization of Unbounded-Nondeterministic Abstract State MachinesAndreas Glausch, Wolfgang Reisig. 242-256 [doi]
- Parametric (Co)Iteration vs. Primitive DirecursionJohan Glimming. 257-278 [doi]
- Bisimulation for Neighbourhood StructuresHelle Hvid Hansen, Clemens Kupke, Eric Pacuit. 279-293 [doi]
- Algebraic Models of Simultaneous Multithreaded and Multi-core ProcessorsNeal A. Harman. 294-311 [doi]
- Quasitoposes, Quasiadhesive Categories and Artin GlueingPeter T. Johnstone, Stephen Lack, Pawel Sobocinski. 312-326 [doi]
- Applications of Metric CoinductionDexter Kozen, Nicholas Ruozzi. 327-341 [doi]
- The Goldblatt-Thomason Theorem for CoalgebrasAlexander Kurz, Jirí Rosický. 342-355 [doi]
- Specification-Based Testing for CoCasl s Modal SpecificationsDelphine Longuet, Marc Aiguier. 356-371 [doi]
- CIRC : A Circular Coinductive ProverDorel Lucanu, Grigore Rosu. 372-378 [doi]
- Observing Distributed Computation. A Dynamic-Epistemic ApproachRadu Mardare. 379-393 [doi]
- Nabla Algebras and Chu SpacesAlessandra Palmigiano, Yde Venema. 394-408 [doi]
- An Institutional Version of Gödel s Completeness TheoremMarius Petria. 409-424 [doi]
- Coalgebraic Foundations of Linear SystemsJan J. M. M. Rutten. 425-446 [doi]
- Bootstrapping Types and Cotypes in HasCASLLutz Schröder. 447-461 [doi]