Studying a mathematical model of parallel computation by algebraic topology methods
Ahmet A. Husainov, V. E. Lopatkin, И.А. Трещев · Journal of Applied and Industrial Mathematics · 2009
Under study is one of the mathematical models of parallel computational processes, i.e., an asynchronous transition system. Some methods are proposed for calculating the homology groups and the Poincaré polynomial of a finite asynchronous transition system. Conditions are obtained for the decomposability of an asynchronous transition system as a parallel product.