×

进程代数中的优先级。 (英文) Zbl 1062.68079号

Bergstra,Jan A.(编辑)等人,《过程代数手册》。阿姆斯特丹:北荷兰/爱思维尔(ISBN 0-444-82830-3)。711-765 (2001).
对传统的带优先级过程代数的一个推广结果进行了综述。对过程代数中静态优先级和动态优先级的方法进行了分类。讨论了一些应用。
关于整个系列,请参见[Zbl 0971.00006号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

关键词:

平行度;进程代数
PDF格式BibTeX公司 XML格式引用