On the homology language of HDA models of transition systems

Thomas Kahl

Given a transition system with an independence relation on the alphabet of labels, one can associate with it a usually very large symmetric higher-dimensional automaton. The purpose of this paper is to show that by choosing an acyclic relation whose symmetric closure is the given independence relation, it is possible to construct a much smaller nonsymmetric HDA with the same homology language.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment