Cubical sets are generalized transition systems

@misc{citeulike:854171, abstract = {We show in this article that \"labelled\" cubical sets (or HigherDimensional Automata) are a natural generalization of transition systems and asynchronous transition systems. This generalizes an older result of [14] which was only holding with precubical sets and subcategories of the classical (see [29]) categories of transition systems and asynchronous transition systems. This opens up new promises on the actual use of geometric methods (such as [8]) and on comparisons with other methods...}, author = {Goubault, E. }, citeulike-article-id = {854171}, keywords = {transition-system}, posted-at = {2006-09-22 09:40:58}, priority = {2}, title = {Cubical sets are generalized transition systems}, url = {http://citeseer.ist.psu.edu/goubault01cubical.html}, year = {2001} }

TY - GEN ID - citeulike:854171 L3 - citeulike-article-id:854171 TI - Cubical sets are generalized transition systems N2 - We show in this article that "labelled" cubical sets (or HigherDimensional Automata) are a natural generalization of transition systems and asynchronous transition systems. This generalizes an older result of [14] which was only holding with precubical sets and subcategories of the classical (see [29]) categories of transition systems and asynchronous transition systems. This opens up new promises on the actual use of geometric methods (such as [8]) and on comparisons with other methods... KW - transition-system AU - Goubault, E PY - 2001/// UR - http://citeseer.ist.psu.edu/goubault01cubical.html ER -