E-Book, Englisch, 251 Seiten, eBook
15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings
E-Book, Englisch, 251 Seiten, eBook
Reihe: Programming and Software Engineering
ISBN: 978-3-642-38493-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
The 17 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Stochastic Process Algebra and Stability Analysis of Collective Systems.- Modelling MAC-Layer Communications in Wireless Systems (Extended Abstract).- Coordinating Phased Activities while Maintaining Progress.- Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.- Pattern Matching and Bisimulation.- Component-Based Autonomic Managers for Coordination Control.- Multi-threaded Active Objects.- Scheduling Open-Nested Transactions in Distributed Transactional Memory.- Peer-Based Programming Model for Coordination Patterns.- Decidability Results for Dynamic Installation of Compensation Handlers.- Probabilistic Modular Embedding for Stochastic Coordinated Systems.- ByteSTM: Virtual Machine-Level Java Software Transactional Memory.- The Future of a MissedDeadline.- Event Loop Coordination Using Meta-programming.- Interactive Interaction Constraints.- Towards Distributed Reactive Programming.- Typing Progress in Communication-Centred Systems.
