Toggle Main Menu Toggle Search

ePrints

Order Structures for Subclasses of Generalised Traces

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

Downloads


Abstract

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.


Publication metadata

Author(s): Janicki R, Kleijn J, Koutny M, Mikulski L

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2014

Pages: 29

Print publication date: 01/10/2014

Report Number: 1437

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1437.pdf


Share