


Остановите войну!
for scientists:
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.