| 2012 | Scoped Synchronization Constraints for Large Scale Actor Systems. | Peter Dinges, Gul Agha |
| 2012 | Types for Coordinating Secure Behavioural Variations. | Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti |
| 2012 | Partial Connector Colouring. | Dave Clarke, Jos Proena |
| 2012 | First-Order Dynamic Logic for Compensable Processes. | Roberto Bruni, Carla Ferreira, Anne Kersten Kauer |
| 2012 | On the Realizability of Contracts in Dishonest Systems. | Massimo Bartoletti, Emilio Tuosto, Roberto Zunino |
| 2012 | Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. | Bogdan Aman, Gabriel Ciobanu |
| 2011 | Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. | Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson |
| 2011 | Simulation-Based Performance Analysis of Channel-Based Coordination Models. | Chrtien Verhoef, Christian Krause, Oscar Kanters, Rob van der Mei |
| 2011 | Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks. | Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa |
| 2011 | Coordination and Concurrency in Multi-engine Prolog. | Paul Tarau |
| 2011 | Enabling Cross-Technology Mobile Applications with Network-Aware References. | Kevin Pinte, Dries Harnie, Theo D'Hondt |
| 2011 | Fair Subtyping for Multi-party Session Types. | Luca Padovani |
| 2011 | Safe Parallel Programming with Session Java. | Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis |
| 2011 | Session Typing for a Featherweight Erlang. | Dimitris Mostrous, Vasco Thudichum Vasconcelos |
| 2011 | An Efficient Management of Correlation Sets with Broadcast. | Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi |
| 2011 | CSP as a Coordination Language. | Moritz Kleine |
| 2011 | The Context of Coordinating Groups in Dynamic Mobile Networks. | Christine Julien |
| 2011 | Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. | Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab |
| 2011 | Fault in the Future. | Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro |
| 2011 | Revisiting Glue Expressiveness in Component-Based Systems. | Cinzia Di Giusto, Jean-Bernard Stefani |
| 2010 | Modelling Railway Interlocking Tables Using Coloured Petri Nets. | Somsak Vanit-Anunchai |
| 2010 | Efficient Session Type Guided Distributed Interaction. | K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster |
| 2010 | JErlang: Erlang with Joins. | Hubert Plociniczak, Susan Eisenbach |
| 2010 | NOW: A Workflow Language for Orchestration in Nomadic Networks. | Eline Philips, Ragnhild Van Der Straeten, Viviane Jonckers |
| 2010 | Compositional Construction of Real-Time Dataflow Networks. | Stephanie Kemper |