- Ichiro Hasuo, Bart Jacobs. Traces for coalgebraic components. Mathematical Structures in Computer Science, 21(2):267-320, 2011.
- Mateusz Kostanek, Pawel Waszkiewicz. The formal ball model for -categories. Mathematical Structures in Computer Science, 21(1):41-64, 2011.
- Helle Hvid Hansen, Bartek Klin. Pointwise extensions of GSOS-defined operations. Mathematical Structures in Computer Science, 21(2):321-361, 2011.
- Murdoch James Gabbay. Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables. Mathematical Structures in Computer Science, 21(5):997-1033, 2011.
- Zoltán Ésik, T. Hajgató. Dagger extension theorem. Mathematical Structures in Computer Science, 21(5):1035-1066, 2011.
- Andrea Asperti, Jeremy Avigad. Zen and the art of formalisation. Mathematical Structures in Computer Science, 21(4):679-682, 2011.
- Ernst-Erich Doberkat, Christoph Schubert. Coalgebraic logic over general measurable spaces - a survey. Mathematical Structures in Computer Science, 21(2):175-234, 2011.
- Jimmie Lawson. Stably compact spaces. Mathematical Structures in Computer Science, 21(1):125-169, 2011.
- Jirí Adámek, Stefan Milius, Jiri Velebil. Elgot theories: a new perspective on the equational properties of iteration. Mathematical Structures in Computer Science, 21(2):417-480, 2011.
- Samuel Mimram. The structure of first-order causality. Mathematical Structures in Computer Science, 21(1):65-110, 2011.