Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Consensus in the presence of partial synchrony
Journal of the ACM (JACM)
An efficient reliable broadcast protocol
ACM SIGOPS Operating Systems Review
An overview of Manifold and its implementation
Concurrency: Practice and Experience
Associative broadcast and the communication semantics of naming in concurrent systems
Associative broadcast and the communication semantics of naming in concurrent systems
Comparing coordination models based on shared distributed replicated data
Proceedings of the 1999 ACM symposium on Applied computing
A coordination language for mobile components
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
An optimal algorithm for mutual exclusion in computer networks
Communications of the ACM
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
A Compositional Model for Confluent Dynamic Data-Flow Networks
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Equations for Describing Dynamic Nets of Communicating Systems
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
An Efficient Distributed Tuple Space Implementation for Networks of Workstations
Euro-Par '96 Proceedings of the Second International Euro-Par Conference on Parallel Processing - Volume I
Law-Governed Internet Communities
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
A Logical Interface Description Language for Components
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Compositional Development of Performance Models in Poems
International Journal of High Performance Computing Applications
General parallel computations on desktop grid and P2P systems
LCR '04 Proceedings of the 7th workshop on Workshop on languages, compilers, and run-time support for scalable systems
Hi-index | 0.00 |
We define and describe a model for coordination of distributed processes or components based on associative broadcast. Associative broadcast encapsulates processes with an associative interface. The associative interface includes a profile, which specifies the current state of the component. Each message is sent with a conditional expression (selector), which evaluates to true for specific instances of profiles. Messages are broadcast but are received by only those processes where the selector of the message evaluates to true when matched with the profile of the component. Each component dynamically specifies its profile and selectors to conform to a coordination protocol. Components can, depending on their local state, enter or leave a coordinating set without affecting the other members of the set. Associative broadcast is defined and described. A formulation of associative broadcast implementing coordination among a dynamic set of distributed processes is defined and described. Distributed mutual exclusion is formulated in associative broadcast as an illustration.