- Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton. Building Distributed Controllers for Systems with Priorities. Journal of Logic and Algebraic Programming, 80(3-5):194-218, 2011.
- Gordon J. Pace, Gerardo Schneider. Guest Editors Foreword. Journal of Logic and Algebraic Programming, 80(1):1-2, 2011.
- J. A. Martín, Ernesto Pimentel. Contracts for security adaptation. Journal of Logic and Algebraic Programming, 80(3-5):154-179, 2011.
- Rudolf Berghammer, Ali Jaoua, Bernhard Möller. Relations and Kleene algebras in computer science. Journal of Logic and Algebraic Programming, 80(6):219-220, 2011.
- Sebastian Danicic, Robert M. Hierons, Michael R. Laurence. Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. Journal of Logic and Algebraic Programming, 80(2):92-112, 2011.
- Walter Guttmann. Fixpoints for general correctness. Journal of Logic and Algebraic Programming, 80(6):248-265, 2011.
- Kim Solin. Normal forms in total correctness for while programs and action systems. Journal of Logic and Algebraic Programming, 80(6):362-375, 2011.
- Robin Hirsch, Szabolcs Mikulás. Axiomatizability of representable domain algebras. Journal of Logic and Algebraic Programming, 80(2):75-91, 2011.
- Fabio Gadducci, Giacoma Valentina Monreale. A decentralised graphical implementation of mobile ambients. Journal of Logic and Algebraic Programming, 80(2):113-136, 2011.
- Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing. A contract-based approach to adaptivity. Journal of Logic and Algebraic Programming, 80(3-5):180-193, 2011.