德拉戈什·瓦伊达 请注意与流程语义相关的一些订单属性。一、。 (英语) Zbl 1102.68078号 芬丹。通知。 73,编号1-2,307-319(2006)。 摘要:本文开始研究与过程语义代数方法中应用的顺序结构相关的一些基本属性。支持示例来自Steenstrup、Manes和Arbib开发的部分可加语义,以及Baeten和Weijland的进程代数。代数理论的主要来源是F.A.史密斯和戈兰。我们证明了不同的性质可以推广到比和阶部分半环更一般的部分可加分配代数。有人认为,支持示例构成了贝纳多意义上的多重格。通过示例、考虑的顺序和参考文献,本初步研究涉及S.鲁迪亚努和D.瓦伊达【Fundam.Inform.61,61-85(2004年;Zbl 1083.68067号)]以及Mateescu提出的语言代数方法。 引用于三文件 MSC公司: 68问题55 计算理论中的语义学 68问题85 并发和分布式计算的模型和方法(过程代数、互模拟、转换网等) 引文:兹比尔1083.68067 PDF格式BibTeX公司 XML格式引用 \textit{D.Vaida},芬丹。通知。73,编号1--2,307--319(2006;Zbl 1102.68078)