default search action
14. COORDINATION 2012: Stockholm, Sweden
- Marjan Sirjani:
Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings. Lecture Notes in Computer Science 7274, Springer 2012, ISBN 978-3-642-30828-4 - Vitaliy Liptchinsky, Roman Khazankin, Hong Linh Truong, Schahram Dustdar:
Statelets: Coordination of Social Collaboration Processes. 1-16 - Davide Rossi:
A Social Software-Based Coordination Platform - Tool Paper. 17-28 - Frederico Alvares de Oliveira Jr., Rémi Sharrock, Thomas Ledoux:
Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing. 29-43 - Marko van Dooren, Dave Clarke:
Subobject Transactional Memory. 44-58 - Dave Clarke, José Proença:
Partial Connector Colouring. 59-73 - Ramtin Khosravi, Hamideh Sabouri:
Using Coordinated Actors to Model Families of Distributed Systems. 74-88 - Peter Dinges, Gul Agha:
Scoped Synchronization Constraints for Large Scale Actor Systems. 89-103 - Roberto Bruni, Carla Ferreira, Anne Kersten Kauer:
First-Order Dynamic Logic for Compensable Processes. 104-121 - Bogdan Aman, Gabriel Ciobanu:
Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. 122-136 - Michal Terepeta, Hanne Riis Nielson, Flemming Nielson:
Recursive Advice for Coordination. 137-151 - Mieke Massink, Diego Latella:
Fluid Analysis of Foraging Ants. 152-165 - Stefan Dziwok, Christian Heinzemann, Matthias Tichy:
Real-Time Coordination Patterns for Advanced Mechatronic Systems. 166-180 - Eline Philips, Jorge Vallejos, Ragnhild Van Der Straeten, Viviane Jonckers:
Group Orchestration in a Mobile Environment. 181-195 - Luigia Petre, Petter Sandvik, Kaisa Sere:
Node Coordination in Peer-to-Peer Networks. 196-211 - Mirko Viroli, Danilo Pianini, Jacob Beal:
Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments. 212-229 - Eva Kühn, Alexander Marek, Thomas Scheller, Vesna Sesum-Cavic, Michael Vögler, Stefan Craß:
A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents. 230-244 - Massimo Bartoletti, Emilio Tuosto, Roberto Zunino:
On the Realizability of Contracts in Dishonest Systems. 245-260 - Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti:
Types for Coordinating Secure Behavioural Variations. 261-276
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.