罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐;吉田、Nobuko 关于观察SOC中的动态优先行动。 （英语） 兹比尔1248.68099 Albers，Susanne（编辑）等人，《自动化，语言和编程》。2009年7月5日至12日，第36届国际学术讨论会，ICALP 2009，希腊罗兹。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-02929-5/pbk）。计算机科学课堂讲稿5556558-570（2009）。 摘要：我们研究了动态优先级和局部先占相结合的优先级机制对SOC观测语义的影响。我们定义了COWS的强标记相似性和弱标记相似性的可管理概念，这是SOC的过程演算，并提供了开放倒刺相似性的替代特征。这些语义表明，COWS的优先级机制部分恢复了观察接收操作的能力（在纯异步设置中无法观察到），并且用于终止的高优先级原语对双相似性施加了特定条件。有关整个系列，请参见[Zbl 1166.68002号]. 引用于1文件 MSC公司： 64岁以下 分布式系统 68宽15 分布式算法 软件：奶牛 PDF格式BibTeX公司 XML格式引用 \textit{R.Pugliese}等人，Lect。注释计算。科学。5556558-570（2009年；Zbl 1248.68099） 全文： 内政部 链接