Journal article

Step traces

Abstract

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 investigates an extension 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 a step trace model based on three relations between events: simultaneity, serialisability, and interleaving. Whereas the underlying causal structures of traces are based on dependencies between actions leading to a partial order interpretation, more general causal structures are needed to describe the invariant relationships between the action occurrences in a step trace. We present a complete picture including dependence structures extending dependence graphs, and a characterisation of step traces in terms of invariant order structures.

Authors

Janicki R; Kleijn J; Koutny M; Mikulski Ł

Journal

Acta Informatica, Vol. 53, No. 1, pp. 35–65

Publisher

Springer Nature

Publication Date

February 1, 2016

DOI

10.1007/s00236-015-0244-z

ISSN

0001-5903

Contact the Experts team