| 2007 | A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. Andreas Glausch, Wolfgang Reisig |
| 2007 | Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings Till Mossakowski, Ugo Montanari, Magne Haveraaen |
| 2007 | Algebraic Models of Simultaneous Multithreaded and Multi-core Processors. Neal A. Harman |
| 2007 | An Institutional Version of Gödel's Completeness Theorem. Marius Petria |
| 2007 | Applications of Metric Coinduction. Dexter Kozen, Nicholas Ruozzi |
| 2007 | Bifinite Chu Spaces. Manfred Droste, Guo-Qiang Zhang |
| 2007 | Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König |
| 2007 | Bisimulation for Neighbourhood Structures. Helle Hvid Hansen, Clemens Kupke, Eric Pacuit |
| 2007 | Bootstrapping Types and Cotypes in HasCASL. Lutz Schröder |
| 2007 | CIRC : A Circular Coinductive Prover. Dorel Lucanu, Grigore Rosu |
| 2007 | Coalgebraic Epistemic Update Without Change of Model. Corina Cîrstea, Mehrnoosh Sadrzadeh |
| 2007 | Coalgebraic Foundations of Linear Systems. Jan J. M. M. Rutten |
| 2007 | Conceptual Data Modeling with Constraints in Maude. Scott Alexander |
| 2007 | Datatypes in Memory. David Aspinall, Piotr Hoffman |
| 2007 | Deriving Bisimulation Congruences with Borrowed Contexts. Barbara König |
| 2007 | Free Modal Algebras: A Coalgebraic Perspective. Nick Bezhanishvili, Alexander Kurz |
| 2007 | Graphical Encoding of a Spatial Logic for the Fabio Gadducci, Alberto Lluch-Lafuente |
| 2007 | Higher Dimensional Trees, Algebraically. Neil Ghani, Alexander Kurz |
| 2007 | Impossibility Results for the Equational Theory of Timed CCS. Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi |
| 2007 | Logical Semantics of Types for Concurrency. Luís Caires |
| 2007 | Nabla Algebras and Chu Spaces. Alessandra Palmigiano, Yde Venema |
| 2007 | Observing Distributed Computation. A Dynamic-Epistemic Approach. Radu Mardare |
| 2007 | Parametric (Co)Iteration vs. Primitive Direcursion. Johan Glimming |
| 2007 | Quasitoposes, Quasiadhesive Categories and Artin Glueing. Peter T. Johnstone, Stephen Lack, Pawel Sobocinski |
| 2007 | Ready to Preorder: Get Your BCCSP Axiomatization for Free! Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir |
| 2007 | Regular and Algebraic Words and Ordinals. Stephen L. Bloom, Zoltán Ésik |
| 2007 | Specification-Based Testing for CoCasl's Modal Specifications. Delphine Longuet, Marc Aiguier |
| 2007 | Structured Co-spans: An Algebra of Interaction Protocols. José Luiz Fiadeiro, Vincent Schmitt |
| 2007 | Symmetry and Concurrency. Glynn Winskel |
| 2007 | The Goldblatt-Thomason Theorem for Coalgebras. Alexander Kurz, Jirí Rosický |
| 2007 | The Maude Formal Tool Environment. Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky |