In this paper we show how trace theory can be used to describe the behaviour of concurrent systems . We present a short introduction to trace theory. We also discuss a program notation that specifies the trace set of a component. As an example we derive a solution for one of the problems of the STC Workshop [5]
