Toggle Main Menu Toggle Search

ePrints

Order Structures for Subclasses of Generalised Traces

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

Downloads


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 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

Publisher: Springer International Publishing

URL: http://dx.doi.org/10.1007/978-3-319-15579-1_54

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


Actions

Link to this publication


Share