This volume contains a selection of the top papers presented at the 24th Conference on Concurrency Theory (CONCUR 2013) held in Buenos Aires, Argentina, during August 27--30, 2013.

CONCUR is an annual conference that brings together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. The main topics include:

• Basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, graph transformation systems and Petri nets;
• Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics;
• Models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing, and synchronous systems;
• Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, and type systems;
• Related programming models such as distributed, component-based, object-oriented, and web services.

The 2013 edition received 115 full submissions from which the Program Committee selected 34 papers for presentation at the conference that have also appeared in the conference proceedings.

Following the conference, we selected a few papers among the highest rated and invited their authors to submit full versions to this special issue of Logical Methods in Computer Science.

Eventually, it became the volume that you are now reading for which, not only authors but also reviewers contributed with their hard work. We would like to kindly thank all of them.