Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Coordination Models and Languages: 15th International Conference, Coordination 2013, Held as a Part of the 8th International Federated Conference on D

Coordination Models and Languages: 15th International Conference, Coordination 2013, Held as a Part of the 8th International Federated Conference on D

Julien, Christine
de Nicola, Rocco

Paperback

General ComputersProgramming

ISBN10: 3642384927
ISBN13: 9783642384929
Publisher: Springer
Published: May 17 2013
Pages: 251
Weight: 0.84
Height: 0.56 Width: 6.14 Depth: 9.21
Language: English

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.

1 different editions

Also available

Also from

de Nicola, Rocco

View All

Also in

Programming

View All