Traces are equivalence classes of action sequences which can be represented by partial orders capturing the causality in the behaviour of a concurrent system. Generalised traces, on the other hand, are equivalence classes of step sequences. They are represented by order structures that can describe non-simultaneity and weak causality, phenomena which cannot be expressed by partial orders alone. In this paper, we provide a systematic classification of different subclasses of generalised traces in terms of the order structures representing them. We also show how the original trace model fits into the overall framework.
CITATION STYLE
Janicki, R., Kleijn, J., Koutny, M., & Mikulski, Ł. (2015). Order structures for subclasses of generalised traces. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8977, pp. 689–700). Springer Verlag. https://doi.org/10.1007/978-3-319-15579-1_54
Mendeley helps you to discover research relevant for your work.