dasLab,
COORDINATION 2013 paper by Stefano Mariani and Andrea Omicini
Coordination Models and Languages
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Stochastic Process Algebra and Stability Analysis of Collective Systems
-
Altmetric BadgeChapter 2 Modelling MAC-Layer Communications in Wireless Systems
-
Altmetric BadgeChapter 3 Coordinating Phased Activities while Maintaining Progress
-
Altmetric BadgeChapter 4 Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
-
Altmetric BadgeChapter 5 Pattern Matching and Bisimulation
-
Altmetric BadgeChapter 6 Component-Based Autonomic Managers for Coordination Control
-
Altmetric BadgeChapter 7 Multi-threaded Active Objects
-
Altmetric BadgeChapter 8 Scheduling Open-Nested Transactions in Distributed Transactional Memory
-
Altmetric BadgeChapter 9 Peer-Based Programming Model for Coordination Patterns
-
Altmetric BadgeChapter 10 Decidability Results for Dynamic Installation of Compensation Handlers
-
Altmetric BadgeChapter 11 Probabilistic Modular Embedding for Stochastic Coordinated Systems
-
Altmetric BadgeChapter 12 ByteSTM: Virtual Machine-Level Java Software Transactional Memory
-
Altmetric BadgeChapter 13 The Future of a Missed Deadline
-
Altmetric BadgeChapter 14 Event Loop Coordination Using Meta-programming
-
Altmetric BadgeChapter 15 Interactive Interaction Constraints
-
Altmetric BadgeChapter 16 Towards Distributed Reactive Programming
-
Altmetric BadgeChapter 17 Typing Progress in Communication-Centred Systems
Altmetric Badge
About this Attention Score
-
Average Attention Score compared to outputs of the same age
-
Average Attention Score compared to outputs of the same age and source
Citations
- dimensions_citation
- 3 Dimensions
Readers on
- mendeley
- 7 Mendeley