Generalising Traces

@inproceedings{Janicki2014GeneralisingT,
  title={Generalising Traces},
  author={Ryszard Janicki and Jetty Kleijn and Maciej Koutny and Lukasz Mikulski},
  year={2014}
}
In the classical Mazurkiewicz trace approach the behaviour of a concurrent system is described in terms of sequential observations that differ only with respect to their ordering of independent actions. This paper aims to determine a full generalisation of the trace model to the case that actions can be observed as occurring simultaneously. Thus observations are sequences of steps, i.e., sets of actions. This leads to an extended trace model based on three relations between events: simultaneity… CONTINUE READING