Abstract is missing.
- A Coordination Model for Service-Oriented InteractionsJoão Abreu, José Luiz Fiadeiro. 1-16 [doi]
- Implementing Session Centered CalculiLorenzo Bettini, Rocco De Nicola, Michele Loreti. 17-32 [doi]
- Service Combinators for Farming Virtual MachinesKarthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya. 33-49 [doi]
- Timed Soft Concurrent Constraint ProgramsStefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini. 50-66 [doi]
- Multiparty Sessions in SOCRoberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto. 67-82 [doi]
- Formalizing Higher-Order Mobile Embedded Business Processes with Binding BigraphsMikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss. 83-99 [doi]
- From Flow Logic to Static Type Systems for Coordination LanguagesRocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese. 100-116 [doi]
- Session Types for Orchestration ChartsAlessandro Fantechi, Elie Najm. 117-134 [doi]
- Implementing Joins Using Extensible Pattern MatchingPhilipp Haller, Tom Van Cutsem. 135-152 [doi]
- Advice for CoordinationChris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang. 153-168 [doi]
- Modeling and Analysis of Reo Connectors Using AlloyRamtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi. 169-183 [doi]
- Alternating-Time Stream Logic for Multi-agent SystemsSascha Klüppelholz, Christel Baier. 184-198 [doi]
- A Formal Account of WS-BPELAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi. 199-215 [doi]
- How to Infer Finite Session Types in a Calculus of Services and SessionsLeonardo Gaetano Mezzina. 216-231 [doi]
- An Event-Based Coordination Model for Context-Aware ApplicationsAngel Núñez, Jacques Noyé. 232-248 [doi]
- Formal Analysis of BPMN Via a Translation into COWSDavide Prandi, Paola Quaglia, Nicola Zannone. 249-263 [doi]
- Encrypted Shared Data SpacesGiovanni Russello, Changyu Dong, Naranker Dulay, Michel R. V. Chaudron, Maarten van Steen. 264-279 [doi]
- CiAN: A Workflow Engine for MANETsRohan Sen, Gruia-Catalin Roman, Christopher D. Gill. 280-295 [doi]
- A Process Calculus for Mobile Ad Hoc NetworksAnu Singh, C. R. Ramakrishnan, Scott A. Smolka. 296-314 [doi]
- Actors with Multi-headed Message Receive PatternsMartin Sulzmann, Edmund S. L. Lam, Peter Van Weert. 315-330 [doi]
- A Compositional Trace Semantics for OrcDimitrios Vardoulakis, Mitchell Wand. 331-346 [doi]