用于描述软件体系结构的算子集的链接运算

文章深入地阐述了用于描述软件体系结构的算子集的另一种运算———链接运算,并推导了关于算子链接运算的若干推论及定理。