兰斯·克莱维兰;杰拉尔德·吕特根;V·纳塔拉扬。 进程代数中的优先级。 (英文) Zbl 1062.68079号 Bergstra,Jan A.(编辑)等人,《过程代数手册》。阿姆斯特丹:北荷兰/爱思维尔(ISBN 0-444-82830-3)。711-765 (2001). 对传统的带优先级过程代数的一个推广结果进行了综述。对过程代数中静态优先级和动态优先级的方法进行了分类。讨论了一些应用。关于整个系列,请参见[Zbl 0971.00006号].审核人:Krassimir Atanassov(索非亚) 引用于21文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:平行度;进程代数 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}等人,in:过程代数手册。阿姆斯特丹:北荷兰/爱思唯尔。711--765(2001年;Zbl 1062.68079)