Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on ... Firenze, Italy, June 3-5, 2013, Proceedings

By Christine Julien

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 Missed Deadline.- Event Loop Coordination Using Meta-programming.- Interactive Interaction Constraints.- Towards Distributed Reactive Programming.- Typing Progress in Communication-Centred Systems.

• Format: Paperback
• Language: English
• ISBN: 3642384927
• ISBN13: 9783642384929
• Release Date: May 2013
• Publisher: Springer
• Length: 251 Pages
• Weight: 0.84 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"