Coordination Models and Languages

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

Häftad, Engelska, 2013

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013).

Produktinformation

Utgivningsdatum2013-05-17
Mått155 x 235 x 15 mm
Vikt411 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor251
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642384929

Tillhör följande kategorier

Operativsystem inom Data och it
Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Människa – datorinteraktion inom Data och it
Hårdvara inom Data och it

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.