Step Traces

In this chapter, we first present a generalisation of the original trace approach to a framework based on step sequences, where static relationships between actions are captured by relations more involved than independence. We aim at retaining the original philosophy underlying concurrency traces and the resulting framework will be based on just a few explicit and simple design choices. The considerations will lead to the concept of a step …