On the concatenation of infinite traces (Q685439)

The author deals with some aspects of trace theory in general and with concatenation of infinite traces in particular. In the first section the author introduces notation used throughout the paper. Then he develops his theory which leads to the notion of traces that are complex from a metric point of view. He defines an ultra-metric and shows that concatenation of traces is uniformly continuous. The objects of interest are, therefore, Cauchy sequences of finite traces which follow in a natural way from the consideration of so-called dependence graphs. The approach proposed in this paper is a nontrivial generalization of a well-known construction for words and yields a convenient semantics for infinite concurrent processes.