Toggle Main Menu Toggle Search

Open Access padlockePrints

Order Structures for Subclasses of Generalised Traces

Lookup NU author(s): Professor Maciej KoutnyORCiD, 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 classi cation of di erent subclasses of generalised traces interms of the order structures representing them. We also show how theoriginal trace model ts into the overall framework.

Publication metadata

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

Pages: 689-700

Print publication date: 10/03/2015

Online publication date: 24/02/2015

Date deposited: 29/05/2015

Publisher: Springer International Publishing


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

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319155784