| A coordination model for service-oriented interactions |
| João Abreu, José Luiz Fiadeiro |
| Implementing Session Centered Calculi |
| Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
| Service Combinators for Farming Virtual Machines |
| Karthikeyan Bhargavan, Andy Gordon, Iman Narasamdya |
| Timed Soft Concurrent Constraint Programs |
| Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini |
| Multiparty sessions in SOC |
| Roberto Bruni, Ivan Lanese, Hernan Melgratti, Emilio Tuosto |
| Formalizing Higher-order Mobile Embedded Business Processes with Binding Bigraphs |
| Mikkel Bundgaard, Arne Glenstrup, Thomas Hildebrandt, Espen Højsgaard, Henning Niss |
| From Flow Logic to Static Type Systems for Coordination Languages |
| Rocco De Nicola, Daniele Gorla, Ren\'e Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese |
| Session Types for Orchestration Charts |
| Alessandro Fantechi, Elie Najm |
| Implementing Joins using Extensible Pattern Matching |
| Philipp Haller, Tom Van Cutsem |
| Advice for Coordination |
| Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang |
| Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi |
| Alternating-Time Stream Logic for Multi-Agent Systems |
| Sascha Klüppelholz, Christel Baier |
| A formal account of WS-BPEL |
| Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| How to infer finite session types in a calculus of services and sessions |
| Leonardo Gaetano Mezzina |
| An Event-Based Coordination Model for Context-Aware Applications |
| Angel Núñez, Jacques Noyé |
| Formal analysis of BPMN via a translation into COWS |
| Davide Prandi, Paola Quaglia, Nicola Zannone |
| Encrypted Shared Data Spaces |
| Giovanni Russello, Changyu Dong, Naranker Dulay, Michel Chaudron, Maarten Van Steen |
| CiAN: A Workflow Engine for MANETs |
| Rohan Sen, Gruia-Catalin Roman, Christopher Gill |
| A Process Calculus for Mobile Ad Hoc Networks |
| Anu Singh, C. R. Ramakrishnan, Scott A. Smolka |
| Actors with Multi-Headed Message Receive Patterns |
| Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert |
| A compositional trace semantics for Orc |
| Dimitrios Vardoulakis, Mitchell Wand |