| 2008 | A Compositional Trace Semantics for Orc. Dimitrios Vardoulakis, Mitchell Wand |
| 2008 | A Coordination Model for Service-Oriented Interactions. João Abreu, José Luiz Fiadeiro |
| 2008 | A Formal Account of WS-BPEL. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2008 | A Process Calculus for Mobile Ad Hoc Networks. Anu Singh, C. R. Ramakrishnan, Scott A. Smolka |
| 2008 | Actors with Multi-headed Message Receive Patterns. Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert |
| 2008 | Advice for Coordination. Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang |
| 2008 | Alternating-Time Stream Logic for Multi-agent Systems. Sascha Klüppelholz, Christel Baier |
| 2008 | An Event-Based Coordination Model for Context-Aware Applications. Angel Núñez, Jacques Noyé |
| 2008 | CiAN: A Workflow Engine for MANETs. Rohan Sen, Gruia-Catalin Roman, Christopher D. Gill |
| 2008 | Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings Doug Lea, Gianluigi Zavattaro |
| 2008 | Encrypted Shared Data Spaces. Giovanni Russello, Changyu Dong, Naranker Dulay, Michel R. V. Chaudron, Maarten van Steen |
| 2008 | Formal Analysis of BPMN Via a Translation into COWS. Davide Prandi, Paola Quaglia, Nicola Zannone |
| 2008 | Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss |
| 2008 | From Flow Logic to Static Type Systems for Coordination Languages. Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese |
| 2008 | How to Infer Finite Session Types in a Calculus of Services and Sessions. Leonardo Gaetano Mezzina |
| 2008 | Implementing Joins Using Extensible Pattern Matching. Philipp Haller, Tom Van Cutsem |
| 2008 | Implementing Session Centered Calculi. Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
| 2008 | Modeling and Analysis of Reo Connectors Using Alloy. Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi |
| 2008 | Multiparty Sessions in SOC. Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto |
| 2008 | Service Combinators for Farming Virtual Machines. Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya |
| 2008 | Session Types for Orchestration Charts. Alessandro Fantechi, Elie Najm |
| 2008 | Timed Soft Concurrent Constraint Programs. Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini |