The cubical complex conjecture for homology of asynchronous transition systems
Cubical homology conjecture. If M(E,I)M(E,I)M(E,I) is locally finite-dimensional, then for all integers n⩾0n\geqslant 0n⩾0, the groups lim→nK(Σ)F\underrightarrow{\lim}_n^{K(\Sigma)}FlimnK(Σ)F are isomorphic to t…