| 2014 | A Calculus of Self-stabilising Computational Fields. Mirko Viroli, Ferruccio Damiani |
| 2014 | Affine Sessions. Dimitris Mostrous, Vasco Thudichum Vasconcelos |
| 2014 | Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab |
| 2014 | Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings Eva Kühn, Rosario Pugliese |
| 2014 | Coordination of ECA Rules by Verification and Control. Julio Cano, Gwenaël Delaval, Éric Rutten |
| 2014 | Encoding Synchronous Interactions Using Labelled Petri Nets. Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2014 | LINC: A Compact Yet Powerful Coordination Environment. Maxime Louvel, François Pacull |
| 2014 | Multiparty Session Actors. Rumyana Neykova, Nobuko Yoshida |
| 2014 | Progress as Compositional Lock-Freedom. Marco Carbone, Ornela Dardha, Fabrizio Montesi |
| 2014 | Safe and Efficient Data Sharing for Message-Passing Concurrency. Benjamin Morandi, Sebastian Nanz, Bertrand Meyer |
| 2014 | The Stochastic Quality Calculus. Kebin Zeng, Flemming Nielson, Hanne Riis Nielson |
| 2014 | Typing Liveness in Multiparty Communicating Systems. Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira |
| 2014 | Verifiable Decisions in Autonomous Concurrent Systems. Lenz Belzner |