Studying a mathematical model of parallel computation by algebraic topology methods

摘要

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.