詹姆斯·C·布朗。;凯文·凯恩;田红霞 分布式进程的基于关联广播的协调模型。 （英语） Zbl 1053.68504号 Arbab，Farhad（编辑）等人，《协调模型和语言》。第五届国际会议，COORDINATION 2002，英国约克，2002年4月8日至11日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43410-0）。莱克特。票据计算。科学。2315, 96-110 (2002). 摘要：我们定义并描述了一个基于关联广播的分布式进程或组件协调模型。关联广播使用关联接口封装进程。关联界面包含一个轮廓，用于指定零部件的当前状态。每条消息都是用条件表达式（选择器）发送的，对于配置文件的特定实例，该表达式的计算结果为true。消息是广播的，但仅由消息的选择器在与组件的配置文件匹配时评估为true的那些进程接收。每个组件动态指定其配置文件和选择器，以符合协调协议。组件可以根据其本地状态进入或离开协调集，而不会影响该集的其他成员。定义并描述了关联广播。定义并描述了一种实现动态分布进程集之间协调的关联广播公式。以关联广播中的分布式互斥为例。关于整个系列，请参见[Zbl 0992.68519号]. MSC公司： 68M10个 计算机系统中的网络设计和通信 64岁以下 分布式系统 软件：歧管 PDF格式BibTeX公司 XML格式引用 \textit｛J.C.Browne｝等人，Lect。票据计算。科学。2315、96-110（2002年；Zbl 1053.68504） 全文： 链接