default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10. COORDINATION 2008: Oslo, Norway
- Doug Lea, Gianluigi Zavattaro:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
