异步转移系统的立方同调

我们证明，一个具有局部有限维自由部分交换幺半群作用的集合与相应的半立方集具有同构的同调群。我们构造了一个有限长度的复形，用于计算任何具有有限最大相互独立事件数的异步转移系统的同调群。我们给出了计算同调群的例子。