卢卡·埃特罗;Wan Fokkink公司;安娜·英格尔夫斯多蒂;巴斯·卢提克 过程代数中的有限方程基础：结果和开放问题。 （英语） Zbl 1171.68558号 Middeldorp，Aart（编辑）等人，《过程、术语和循环：通向无限的道路上的步骤》。在简·威廉·克洛普60岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-30911-X/pbk）。计算机科学课堂讲稿3838，338-367（2005）。 总结：Van Glabbeek（1990）提出了有限分支、具体、顺序过程的行为等效的线性时间/分支时间谱。他在基本进程代数BCCSP的背景下研究了这些语义，并试图给出它们的有限完全公理化。在并发理论中获得这样的公理化通常是困难的，即使在像BCCSP这样的简单语言环境中也是如此。这引发了一系列开放性问题，这些问题近年来一直是深入研究的主题。大多数这些问题都已经在BCCSP上得到了解决，要么通过给出有限的完全公理化得到了肯定，要么通过证明这种公理化不存在而得到否定。仍然存在一些开放性问题。本文报告了这些结果，以及具有序列和并行复合结构的更丰富过程代数的公理化的最新进展。关于整个系列，请参见[Zbl 1097.68007号]. 引用于15文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Lect。票据计算。科学。3838338-367（2005年；兹比尔1171.68558） 全文： 内政部