Doug Lea, Gianluigi Zavattaro (Eds.):
Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings.
Lecture Notes in Computer Science 5052 Springer 2008, ISBN 978-3-540-68264-6 
- João Abreu, José Luiz Fiadeiro:
A Coordination Model for Service-Oriented Interactions.
1-16
- Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Implementing Session Centered Calculi.
17-32
- Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya:
Service Combinators for Farming Virtual Machines.
33-49
- Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini:
Timed Soft Concurrent Constraint Programs.
50-66
- Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto:
Multiparty Sessions in SOC.
67-82
- 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
- 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
- Alessandro Fantechi, Elie Najm:
Session Types for Orchestration Charts.
117-134
- Philipp Haller, Tom Van Cutsem:
Implementing Joins Using Extensible Pattern Matching.
135-152
- Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang:
Advice for Coordination.
153-168
- Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi:
Modeling and Analysis of Reo Connectors Using Alloy.
169-183
- Sascha Klüppelholz, Christel Baier:
Alternating-Time Stream Logic for Multi-agent Systems.
184-198
- Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A Formal Account of WS-BPEL.
199-215
- Leonardo Gaetano Mezzina:
How to Infer Finite Session Types in a Calculus of Services and Sessions.
216-231
- Angel Núñez, Jacques Noyé:
An Event-Based Coordination Model for Context-Aware Applications.
232-248
- Davide Prandi, Paola Quaglia, Nicola Zannone:
Formal Analysis of BPMN Via a Translation into COWS.
249-263
- Giovanni Russello, Changyu Dong, Naranker Dulay, Michel R. V. Chaudron, Maarten van Steen:
Encrypted Shared Data Spaces.
264-279
- Rohan Sen, Gruia-Catalin Roman, Christopher D. Gill:
CiAN: A Workflow Engine for MANETs.
280-295
- Anu Singh, C. R. Ramakrishnan, Scott A. Smolka:
A Process Calculus for Mobile Ad Hoc Networks.
296-314
- Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert:
Actors with Multi-headed Message Receive Patterns.
315-330
- Dimitrios Vardoulakis, Mitchell Wand:
A Compositional Trace Semantics for Orc.
331-346
Last update Tue May 21 16:26:06 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
