约泽夫·温科夫斯基 行为代数。 （英语） Zbl 1108.68083号 芬丹。通知。 75，编号1-4，537-560（2007）. 摘要：本文关注的是代数，其元素可用于表示称为进程的系统运行。这些代数称为行为代数，是关于称为序列合成的部分二进制操作的范畴，它们是关于称之为并行合成的部分二元操作的部分幺半群。它们的特征是公理，因此它们的元素和操作可以用标记偏序集和对此类偏序集的操作来表示。在不假设所表示元素的离散性的情况下，获得了相应的表示。特别是，对于具有无限可分元素的行为代数，以及可以表示连续和部分连续过程的元素，这一点仍然成立。用标记偏序集表示行为代数元素的一个重要结果是，行为代数的某些子代数的元素可以以与图结构等结构一致的方式赋值。 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：顺序合成;部分幺半群 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski}，芬丹。通知。75，编号1--4537--560（2007；Zbl 1108.68083）