Lookup NU author(s): Professor Maciej Koutny,
Dr Lukasz Mikulski
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).
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.
Author(s): Janicki R, Kleijn J, Koutny M, Mikulski L
Editor(s): Dediu A-H; Formenti E; Martín-Vide C; Truthe B
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: LATA 2015 - Language and Automata Theory and Applications
Year of Conference: 2015
Print publication date: 10/03/2015
Online publication date: 24/02/2015
Publisher: Springer International Publishing
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science