Order Structures for Subclasses of Generalised Traces

Janicki, R; Kleijn, J; Koutny, M; Mikulski, L

doi:10.1007/978-3-319-15579-1_54

Order Structures for Subclasses of Generalised Traces

Lookup NU author(s): Emeritus Professor Maciej Koutny ORCiD, Dr Lukasz Mikulski

Downloads

Accepted version [.pdf]

Licence

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).

Abstract

Traces are equivalence classes of action sequences which canbe represented by partial orders capturing the causality in the behaviourof a concurrent system. Generalised traces, on the other hand, are equiv-alence classes of step sequences. They are represented by order structuresthat can describe non-simultaneity and weak causality, phenomena whichcannot be expressed by partial orders alone. In this paper, we providea systematic classication of dierent subclasses of generalised traces interms of the order structures representing them. We also show how theoriginal trace model ts into the overall framework.