Search dblp for Publications

export results for "toc:db/conf/coordination/coordination2012.bht:"

 download as .bib file

@inproceedings{DBLP:conf/coordination/AmanC12,
  author    = {Bogdan Aman and
               Gabriel Ciobanu},
  title     = {Coordinating Parallel Mobile Ambients to Solve {SAT} Problem in Polynomial
               Number of Steps},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {122--136},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/BartolettiTZ12,
  author    = {Massimo Bartoletti and
               Emilio Tuosto and
               Roberto Zunino},
  title     = {On the Realizability of Contracts in Dishonest Systems},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {245--260},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/BruniFK12,
  author    = {Roberto Bruni and
               Carla Ferreira and
               Anne Kersten Kauer},
  title     = {First-Order Dynamic Logic for Compensable Processes},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {104--121},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/ClarkeP12,
  author    = {Dave Clarke and
               Jos{\'{e}} Proen{\c{c}}a},
  title     = {Partial Connector Colouring},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {59--73},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/DeganoFGM12,
  author    = {Pierpaolo Degano and
               Gian Luigi Ferrari and
               Letterio Galletta and
               Gianluca Mezzetti},
  title     = {Types for Coordinating Secure Behavioural Variations},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {261--276},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/DingesA12,
  author    = {Peter Dinges and
               Gul Agha},
  title     = {Scoped Synchronization Constraints for Large Scale Actor Systems},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {89--103},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/DoorenC12,
  author    = {Marko van Dooren and
               Dave Clarke},
  title     = {Subobject Transactional Memory},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {44--58},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/DziwokHT12,
  author    = {Stefan Dziwok and
               Christian Heinzemann and
               Matthias Tichy},
  title     = {Real-Time Coordination Patterns for Advanced Mechatronic Systems},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {166--180},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/KhosraviS12,
  author    = {Ramtin Khosravi and
               Hamideh Sabouri},
  title     = {Using Coordinated Actors to Model Families of Distributed Systems},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {74--88},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/KuhnMSSVC12,
  author    = {eva K{\"{u}}hn and
               Alexander Marek and
               Thomas Scheller and
               Vesna Sesum{-}Cavic and
               Michael V{\"{o}}gler and
               Stefan Cra{\ss}},
  title     = {A Space-Based Generic Pattern for Self-Initiative Load Clustering
               Agents},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {230--244},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/LiptchinskyKTD12,
  author    = {Vitaliy Liptchinsky and
               Roman Khazankin and
               Hong Linh Truong and
               Schahram Dustdar},
  title     = {Statelets: Coordination of Social Collaboration Processes},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {1--16},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/MassinkL12,
  author    = {Mieke Massink and
               Diego Latella},
  title     = {Fluid Analysis of Foraging Ants},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {152--165},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/OliveiraSL12,
  author    = {Frederico Alvares de Oliveira Jr. and
               R{\'{e}}mi Sharrock and
               Thomas Ledoux},
  title     = {Synchronization of Multiple Autonomic Control Loops: Application to
               Cloud Computing},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {29--43},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/PetreSS12,
  author    = {Luigia Petre and
               Petter Sandvik and
               Kaisa Sere},
  title     = {Node Coordination in Peer-to-Peer Networks},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {196--211},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/PhilipsVSJ12,
  author    = {Eline Philips and
               Jorge Vallejos and
               Ragnhild Van Der Straeten and
               Viviane Jonckers},
  title     = {Group Orchestration in a Mobile Environment},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {181--195},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/Rossi12,
  author    = {Davide Rossi},
  title     = {A Social Software-Based Coordination Platform - Tool Paper},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {17--28},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/TerepetaNN12,
  author    = {Michal Terepeta and
               Hanne Riis Nielson and
               Flemming Nielson},
  title     = {Recursive Advice for Coordination},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {137--151},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/coordination/ViroliPB12,
  author    = {Mirko Viroli and
               Danilo Pianini and
               Jacob Beal},
  title     = {Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc
               Environments},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  pages     = {212--229},
  publisher = {Springer},
  year      = {2012}
}
@proceedings{DBLP:conf/coordination/2012,
  editor    = {Marjan Sirjani},
  title     = {Coordination Models and Languages - 14th International Conference,
               {COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  publisher = {Springer},
  year      = {2012}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics