Coordination models and languages : 10th international conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008 : proceedings /
Saved in:
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
2008
Berlin ; New York : c2008 |
Series: | LNCS sublibrary Programming and software engineering
Lecture notes in computer science, 5052 LNCS sublibrary Programming and software engineering. Lecture notes in computer science ; 5052 Lecture notes in computer science 5052 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- A Coordination Model for Service-Oriented Interactions / Joao Abreu and Jose Luiz Fiadeiro
- Implementing Session Centered Calculi / Lorenzo Bettini, Rocco De Nicola and Michele Loreti
- Service Combinators for Fanning Virtual Machines / Karthikeyan Bhargavan, Andrew D. Gordon and Iman Narasamdya
- Timed Soft Concurrent Constraint Programs / Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo and Francesco Santini
- Multiparty Sessions in SOC / Roberto Bruni, Ivan Lanese, Hernan Melgratti and Emilio Tuosto
- Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs / Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebrandt, Espen Hojsgaard and Henning Niss
- From Flow Logic to Static Type Systems for Coordination Languages / Rocco De Nicola, Daniele Gorla, Rene Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst and Rosario Pugliese
- Session Types for Orchestration Charts / Alessandro Fantechi and Elie Najm
- Implementing Joins Using Extensible Pattern Matching / Philipp Holler and Tom Van Cutsem
- Advice for Coordination / Chris Hankin, Flemming Nielson, Hanne Riis Nielson and Fan Yang
- Modeling and Analysis of Reo Connectors Using Alloy / Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi and Homed Iravanchi
- Alternating-Time Stream Logic for Multi-agent Systems / Sascha Kluppelholz and Christel Baier
- A Formal Account of WS-BPEL / Alessandro Lapadula, Rosario Pugliese and 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 Nunez and Jacques Noye
- Formal Analysis of BPMN Via a Translation into COWS / Davide Prandi, Paola Quaglia and Nicola Zannone
- Encrypted Shared Data Spaces / Giovanni Russello, Changyu Dong, Naranker Dulay, Michel Chaudron and Maarten Van Steen
- CiAN: A Workflow Engine for MANETs / Rohan Sen, Gruia-Catalin Roman and Christopher Gill
- A Process Calculus for Mobile Ad Hoc Networks / Anu Singh, C. R. Ramakrishnan and Scott A. Smolka
- Actors with Multi-headed Message Receive Patterns / Martin Sulzmann, Edmund S. L. Lam and Peter Van Weert
- A Compositional Trace Semantics for Orc / Dimitrios Vardoulakis and Mitchell Wand