10. COORDINATION 2008: Oslo, Norway

• João Abreu, José Luiz Fiadeiro:
  A Coordination Model for Service-Oriented Interactions. 1-16
  Electronic Edition (link) BibTeX
• Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
  Implementing Session Centered Calculi. 17-32
  Electronic Edition (link) BibTeX
• Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya:
  Service Combinators for Farming Virtual Machines. 33-49
  Electronic Edition (link) BibTeX
• Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini:
  Timed Soft Concurrent Constraint Programs. 50-66
  Electronic Edition (link) BibTeX
• Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto:
  Multiparty Sessions in SOC. 67-82
  Electronic Edition (link) BibTeX
• Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss:
  Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. 83-99
  Electronic Edition (link) BibTeX
• Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese:
  From Flow Logic to Static Type Systems for Coordination Languages. 100-116
  Electronic Edition (link) BibTeX
• Alessandro Fantechi, Elie Najm:
  Session Types for Orchestration Charts. 117-134
  Electronic Edition (link) BibTeX
• Philipp Haller, Tom Van Cutsem:
  Implementing Joins Using Extensible Pattern Matching. 135-152
  Electronic Edition (link) BibTeX
• Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang:
  Advice for Coordination. 153-168
  Electronic Edition (link) BibTeX
• Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi:
  Modeling and Analysis of Reo Connectors Using Alloy. 169-183
  Electronic Edition (link) BibTeX
• Sascha Klüppelholz, Christel Baier:
  Alternating-Time Stream Logic for Multi-agent Systems. 184-198
  Electronic Edition (link) BibTeX
• Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
  A Formal Account of WS-BPEL. 199-215
  Electronic Edition (link) BibTeX
• Leonardo Gaetano Mezzina:
  How to Infer Finite Session Types in a Calculus of Services and Sessions. 216-231
  Electronic Edition (link) BibTeX
• Angel Núñez, Jacques Noyé:
  An Event-Based Coordination Model for Context-Aware Applications. 232-248
  Electronic Edition (link) BibTeX
• Davide Prandi, Paola Quaglia, Nicola Zannone:
  Formal Analysis of BPMN Via a Translation into COWS. 249-263
  Electronic Edition (link) BibTeX
• Giovanni Russello, Changyu Dong, Naranker Dulay, Michel R. V. Chaudron, Maarten van Steen:
  Encrypted Shared Data Spaces. 264-279
  Electronic Edition (link) BibTeX
• Rohan Sen, Gruia-Catalin Roman, Christopher D. Gill:
  CiAN: A Workflow Engine for MANETs. 280-295
  Electronic Edition (link) BibTeX
• Anu Singh, C. R. Ramakrishnan, Scott A. Smolka:
  A Process Calculus for Mobile Ad Hoc Networks. 296-314
  Electronic Edition (link) BibTeX
• Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert:
  Actors with Multi-headed Message Receive Patterns. 315-330
  Electronic Edition (link) BibTeX
• Dimitrios Vardoulakis, Mitchell Wand:
  A Compositional Trace Semantics for Orc. 331-346
  Electronic Edition (link) BibTeX