×

过程代数的图形并行复合算子。 (英语) Zbl 0952.68097号

吴建平(编辑)等,协议工程和分布式系统的形式化方法。99年第十二堡/第十九电视台。IFIP TC6 WG6.1分布式系统和通信协议形式描述技术(FORTE XII)和协议规范、测试和验证(PSTV XIX)联合国际会议。中国北京,1999年10月5日至8日。波士顿:Kluwer学术出版社。国际联邦信息流程。,IFIP。28, 185-202 (1999).
摘要:过程代数适合描述通信过程的网络。在大多数过程代数中,此类网络的描述是使用并行合成算子实现的。注意到过程代数中常见的并行合成算子通常在表达能力上受到限制和/或对新手用户来说很困难,我们提出了一种新的并行算子,它允许以简单和结构化的方式轻松地描述通信过程的网络。我们在各种示例(令牌环网络和客户机-服务器协议)上说明了该运营商的理论和实际优点。
关于整个系列,请参见[Zbl 0932.00062号].

MSC公司:

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

关键词:

过程代数

软件:

电子LOTOS
PDF格式BibTeX公司 XML格式引用